conflict class mining
mining from compact t-matrix
faster row access
faster row access
counting conflict groups
counting conflict groups
generating conflict groups
heuristic analyzer structure
finite state machine analyzer
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