scuttle-core 0.4.0

Core library of the Scuttle MO-MaxSAT solver
Documentation
1
2
3
4
5
6
c A Small MCNF example with four objectives
h 1 2 3 4 0
o1 1 -1 0
o2 1 -2 0
o3 1 -3 0
o4 1 -4 0