COIN-OR::LEMON - Graph Library

source: lemon-0.x/demo/sat-2.in

Last change on this file was 2459:ea943997a8fe, checked in by Balazs Dezso, 13 years ago

Sample input for sat-2 and sat demos

File size: 35 bytes
Line 
1x1 or x2
2x2 or not x3
3x3 or not x1
Note: See TracBrowser for help on using the repository browser.