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 solvers like Z3 are an excellent choice and provide additional functionality like propositional logic (if A then B else C).

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 public beta out has been the priority recently.

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 tax optimizations based on your financial profile and goals. It was a lot harder than I anticipated but got a PoC working recently. Ugly landing page at https://smarterpath.co