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
RevLine 
[38]1rlmv and2.mv
[33]2init
[40]3_createAbn
[38]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.