-
- Downloads
"src/main/scala/leon/synthesis/Algebra.scala" did not exist on "28ae6c40bcac005474488b512c6c7774d039c767"
Merge pull request #45 from cache-nez/require-arity
Require that PredicateFormula's and ConnectorFormula's args correspond to the label's arity
No related branches found
No related tags found
Loading
Please register or sign in to comment