2 ms·Looks like you want to integrate a SAT/SMT solver with a convex optimisation engine :)by tomp 8y agoLooks like you want to integrate a SAT/SMT solver with a convex optimisation engine :)