COIN-OR::LEMON - Graph Library

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

Last change on this file since 2526:b7727edd44f2 was 2459:ea943997a8fe, checked in by Balazs Dezso, 17 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.