scuttle-core 0.4.0

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