3 ms·Next step - SMT solver.by xvilka 9y agoNext step - SMT solver.dualogy 9y agoOr next step, answer-set solver.rrobukef 9y agoconstraint solver, pseudo boolean solversacado2 9y agoPseudo-boolean is on the todo-list. Constraints too, but they will happen later.