Solver Definition
A constraint solver is a function solv that takes a constraint C and returns true, false or unknown depending on whether the constraint is satisfiable
- if solv(C) = true then C is satisfiable
- if solv(C) = false then C is unsatisfiable