> As long as P != NP, verification should be much easier than producing a solution. Perhaps so. I guess it depends on how long it takes to code up property-ba

> As long as P != NP, verification should be much easier than producing a solution. Perhaps so. I guess it depends on how long it takes to code up property-based tests. https://hypothesis.readthedocs.io/en/latest/ https://hypothesis.readthedocs.io/en/latest/