New "Types" standard Compiler API, together with a simple compiler to enforce Boolean types on Clauses
New "Types" standard Compiler API, together with a simple compiler to
enforce Boolean types on Clauses
concrete-cp/cspom