pumpkin-solver 0.5.0

The Pumpkin combinatorial optimisation solver library.
Documentation 
1
2
3
4
5
6

c --no-subsume
c --eliminit=0
p cnf 3 3
-1 2 0
-1 3 0
1 -2 -3 0