varisat-internal-proof 0.2.2

Internal proof format for the Varisat SAT solver
Documentation