src/main/scala/leon/synthesis/rules/InputSplit.scala · a6259e94c5cd154b440a2e8bf248d855306520be · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
a6259e94
Introduce new synthesis rules (InputSplit & IndependentSplit) · a6259e94
Etienne Kneuss authored 9 years ago
```
- InputSplit splits by a boolean input variable

- IndependentSplit splits output variables that are unrelated
```
a6259e94

History
Introduce new synthesis rules (InputSplit & IndependentSplit)
Etienne Kneuss authored 9 years ago
```
- InputSplit splits by a boolean input variable

- IndependentSplit splits output variables that are unrelated
```