solvers/bdd/miniBDD
solvers/flattening
solvers/prop
testing-utils
util
