source:
vis_dev/vis-2.3/models/debug/test.script
@
50
Last change on this file since 50 was 41, checked in by , 13 years ago | |
---|---|
File size: 89 bytes |
Rev | Line | |
---|---|---|
[41] | 1 | rlmv new_and.mv |
[33] | 2 | init |
[40] | 3 | _createAbn |
[38] | 4 | aig |
[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.