bugfix qc
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