diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-07-10 18:38:11 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-07-10 20:21:01 +0200 |
commit | 9666818c58bb4c30ef6b0c88cc680bc559b123c6 (patch) | |
tree | e49a67fd85fcf8a8ac679553e47aeeec9b729f0b /gradlew | |
parent | refactor: enable data variable unification (diff) | |
download | refinery-9666818c58bb4c30ef6b0c88cc680bc559b123c6.tar.gz refinery-9666818c58bb4c30ef6b0c88cc680bc559b123c6.tar.zst refinery-9666818c58bb4c30ef6b0c88cc680bc559b123c6.zip |
feat: DNF rewriting
* DuplicateDnfRewriter replaces DNF with their canonical
representatives
* ClauseInputParameterResolver removes input parameters by demand set
transformation
* CompositeRewriter for rewriter stacks
Diffstat (limited to 'gradlew')
0 files changed, 0 insertions, 0 deletions