problem generators for maxsat8
maxsat representation
maxsat util
maxsat util
maxsat validity check
maxsat constants
temp commit
resolve conflicts
the heuristic, the generator and the problem
problem equality
max8sat problem generator
problem generation tests
testing
more tests
extreme fast problem generation
fsm def