Module Depsolver_int.R

Sat Solver instance

type reason = Diagnostic.reason_int