src/main/scala/leon/synthesis · 3a950dc2bc3e5358d570da70d4694a96169b5a34 · LARA / inox · GitLab

Snippets Groups Projects

One rule for ADT ≠ decomposition.

Philippe Suter authored 12 years ago

Note that many ADT problems seem to diverge now. Also, preconditions are
missing? Or maybe just not displayed.

3a950dc2

3a950dc2 12 years ago

Name	Last commit	Last update
..
heuristics
rules
search
Algebra.scala
Complexity.scala
Cost.scala
DerivationTree.scala
FileInterface.scala
Heuristics.scala
LinearEquations.scala
Main.scala
Problem.scala
Rules.scala
Solution.scala
SynthesisPhase.scala
Synthesizer.scala
Task.scala
package.scala