problem dependent heuristics
max8sat-ls
max8sat-ls and reordening
heuristic as transition function
heuristic trans enumerable
pull up search space generator
sensitives
recursive generic constraints
fsm analyzer
fsm analyzer
fsm analyzer
fsm generator
upgrade from NUtils
lib update
dev merge