z3 is also just so thoroughly optimized that even if your formulation of the con...

nostrebored 44 days ago | parent | context | favorite | on: Solving the Jane Street reverse engineering challe...

z3 is also just so thoroughly optimized that even if your formulation of the constraints is inefficient it is faster. it is a great library that lets you solve pretty complicated DP problems with a few dozen lines of code.