Tags: cesaro/cunf
Tags
* test/cuf2dot.c : CUF02 format
* src/main.c : white, gray, and black events
* src/output.c : CUF02 format
* test/nets/param : cleaned
* test/nets/{plain,cont,pr}/param/{x,y}/ : right place for parametric families
* tools/cndc.py : new: cleanup of cnmc
* tools/amo.py : new: test of different AMO constraints
* tools/cnmc/cnmc.py : experiments and fixes
* tools/trt/__init__.py : new test cndc
* tools/ptnet/unfolding.py : white, gray, and black events; CUF02 format
* tools/ptnet/net.py : new
* tools/cont2plain.pl : new
* tools/mkandnet.pl : square grid of AND gates (TCS paper)
* tools/mkandnet2.pl : square grid of AND gates, all inputs
* tools/mkkhist.pl : Ask Stefan
* tools/mkcell.pl : Conway's Game of Life (majority vote)
* tools/mklife.py : Conway's Game of Life (B24/S13)
* tools/mkrndbool.pl : Boolean net with logic and controllers randomly chosen
* tools/mksignal.py : Transmission line
* tools/mkread.py : N concurrent readers of one resource