pumpkin-solver 0.4.0

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

p cnf 6 7
-1 2 0
-1 3 0
-2 -3 4 0
-4 5 0
-4 6 0
-5 -6 -1 0
1 0