diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-02-17 17:35:48 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-02-17 17:35:48 +0100 |
commit | 8183b588cf5bc665c0f96abc6d11b8dc70eecaa3 (patch) | |
tree | bd0001d59cf1d794b35f44161831905e8da62f13 /LICENSE | |
parent | refactor: EDSL for DNF literals (diff) | |
download | refinery-8183b588cf5bc665c0f96abc6d11b8dc70eecaa3.tar.gz refinery-8183b588cf5bc665c0f96abc6d11b8dc70eecaa3.tar.zst refinery-8183b588cf5bc665c0f96abc6d11b8dc70eecaa3.zip |
feat: PartialInterpretation representations
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions