source: vis_dev/vis-2.3/models/debug/and2.ltl @ 86

Last change on this file since 86 was 41, checked in by cecile, 13 years ago

new command generate cnf from network

File size: 10 bytes
RevLine 
[41]1X(c = 0);
Note: See TracBrowser for help on using the repository browser.