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

Last change on this file since 37 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.