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

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

add debug example

File size: 67 bytes
Line 
1rlmv %:2.mv
2init
3_createAbn
4#aig
5#_sat_debug -v 1 -k 1 -o %:2.cnf
6
Note: See TracBrowser for help on using the repository browser.