Skip to content
GitLab
Explore
Sign in
#873
CIF data-based synthesis: allow converting resulting predicates explicitly to only CNF or DNF
Code
Review changes
Check out branch
Download
Patches
Plain diff
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
Expand
Closes
#873 (closed)
Merge request reports