#873
CIF data-based synthesis: allow converting resulting predicates explicitly to only CNF or DNF
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
#873 CIF data-based synthesis: allow converting resulting predicates explicitly to only CNF or DNF
Dennis Hendriks
requested to merge
873-cif-datasynth-allow-cnf-or-dnf-mode
into
develop
Jun 15, 2024
Overview
3
Commits
5
Pipelines
2
Changes
24
Closes
#873 (closed)
Merge request reports
Loading