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

Last change on this file since 33 was 33, checked in by cecile, 12 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.