Questions tagged [z3]

For questions about the Z3 Theorem Prover, a cross-platform satisfiability modulo theories (SMT) solver by Microsoft.

Filter by
Sorted by
Tagged with
1
vote
1answer
49 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....