3 ms·Pseudo-boolean is on the todo-list. Constraints too, but they will happen later.by sacado2 9y agoPseudo-boolean is on the todo-list. Constraints too, but they will happen later.