4 ms·constraint solver, pseudo boolean solverby rrobukef 9y agoconstraint solver, pseudo boolean solversacado2 9y agoPseudo-boolean is on the todo-list. Constraints too, but they will happen later.