Module Algo.Depsolver_int.R

module R: sig .. end

Sat Solver instance


type reason = Algo.Diagnostic.reason_int