3 ms·Or next step, answer-set solver.by 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.