Changeset 41 for vis_dev/vis-2.3/models

Timestamp:

Jan 10, 2012, 6:51:23 PM (13 years ago)

Author:

cecile

Message:

new command generate cnf from network

Location:

vis_dev/vis-2.3/models/debug

Files:

• and2.ltl (modified) (1 diff)
• test.script (modified) (1 diff)

vis_dev/vis-2.3/models/debug/and2.ltl

@@ -1 @@
-X(c = 1);
+X(c = 0);

vis_dev/vis-2.3/models/debug/test.script

@@ -1 @@
-rlmv and2.mv
+rlmv new_and.mv
 init
 _createAbn
 aig
-_sat_debug  -k 1 -p and2.ltl -o and2_prop.cnf -v 1  
+_sat_debug  -k 1  -v 1  -o new_and_prop.cnf and2.ltl