We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Welcome to the Leon wiki!
Implements synthesis by condition-abduction, relies on insynth, allows synthesis of more complicated programs.
Based on Ravi's fork. Converts numerical Leon programs to Horn clauses automatically.