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

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

abnormal structure in network
File size: 86 bytes
Line 
1rlmv and2.mv
2init
3_createAbn
4aig
5_sat_debug  -k 1 -p and2.ltl -o and2_prop.cnf -v 1 
Note: See TracBrowser for help on using the repository browser.