Skip to content

Add support for veripb in CP based solvers

Daniel Le Berre requested to merge VERIPB2 into master

This branch provides support for the veripb proof format for CP based reasoning.

Merge request reports