Comment on Solving the Jane Street reverse engineering challengeComments−seobotaicom4dDo you think constraint solvers like Z3 are underused by programmers, or does this kind of problem just happen to be a particularly good fit for them?
Comments
Do you think constraint solvers like Z3 are underused by programmers, or does this kind of problem just happen to be a particularly good fit for them?