source: vis_dev/vis-2.3/models/debug/test.script @ 91

Last change on this file since 91 was 41, checked in by cecile, 13 years ago

new command generate cnf from network

File size: 89 bytes
Line 
1rlmv new_and.mv
2init
3_createAbn
4aig
5_sat_debug  -k 1  -v 1  -o new_and_prop.cnf and2.ltl
Note: See TracBrowser for help on using the repository browser.