solvers/miniBDD
