COIN-OR::LEMON - Graph Library

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

Last change on this file since 2472:fb60f631790b 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.