OW2con'23 June 14-15, 2023 - Paris-Châtillon | Program and free registration: https://www.ow2con.org/

Skip to content
GitLab

Add support for veripb in CP based solvers

Merged Daniel Le Berre requested to merge VERIPB2 into master

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