scuttle-core 0.4.0

Core library of the Scuttle MO-MaxSAT solver
Documentation
c A Medium MCNF example
c 
c non-dominated points:
c (0, 10)
c (2, 8)
c (4, 6)
c (6, 4)
c (8, 2)
c (10, 0)
c 
o1 2 -1 0
o1 3 -2 0
o1 2 -3 0
o1 2 -4 0
o1 2 -5 0
o2 2 -6 0
o2 2 -7 0
o2 2 -8 0
o2 2 -9 0
o2 2 -10 0
h 1 6 0
h 2 7 0
h 3 8 0
h 4 9 0
h 5 10 0
h 1 2 0
h 2 3 0