Skip to content

Wrap MCSAT as a Nelson-Oppen theory solver in CDCL(T) architecture#611

Open
disteph wants to merge 17 commits into
masterfrom
mcsat-supplement-cdclt
Open

Wrap MCSAT as a Nelson-Oppen theory solver in CDCL(T) architecture#611
disteph wants to merge 17 commits into
masterfrom
mcsat-supplement-cdclt

Merge branch 'master' into mcsat-supplement-cdclt

a4268eb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar