Questions tagged [z3]
For questions about the Z3 Theorem Prover, a cross-platform satisfiability modulo theories (SMT) solver by Microsoft.
1
question
1
vote
1
answer
52
views
Is there a system that automatically designs a set of rules from the examples?
Being by no means an expert in the field, I do however know of solvers such as Z3 that can generate a correct program, provided you can express your constraints as a set of logical rules, such as here....
- 121