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

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

new command generate cnf from network

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