2 ms·Try CSP instead. It works as as higher level abstraction over SAT that is easier to model with.by JonChesterfield 3y agoTry CSP instead. It works as as higher level abstraction over SAT that is easier to model with.petters 3y agoRight, SAT can sometimes be thought of as the assembly language of discrete optimisation.milemi 3y agoWhat is CSP? Edit: looked it up, Constraint Satisfaction Problem.