I imagine generating cases for property based testing this could be quite useful. Also solving problems with brute force where effeciency doesnt matter. Eg prov

I imagine generating cases for property based testing this could be quite useful. Also solving problems with brute force where effeciency doesnt matter. Eg proving a theorem on you machine but that code doest need to run in production. Or suduko fwiw