Viewing profile — mattz0rt

In my experience SMT solvers tends to be an order of magnitude slower than MIP solvers, even when looking at the exact same constraints. But yes given a small enough problem SMT so…

Python equivalent: return a or b

I dipped after seeing that they'd have permission to send tweets and view my dm's. Just viewing my profile should be sufficient for login permissions

Yup good ol' wordpress with the Contact Form 7 addon for the early access sign-up. Would like to do a redesign at some point to make the value prop more obvious, but getting a publ…

A bit different from what most financial engineers are interested in, but I'm in the process of developing a linear programming model for the US tax code so you can do long term ta…