solvers/prop
solvers/miniBDD
util
