Add conversion to exact predicates exact construction kernel format for consecutive booleans (experiments)
1019 B
1019 B
Add conversion to exact predicates exact construction kernel format for consecutive booleans (experiments)