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