pub fn solve(_problem: &ConstraintProblem) -> SolutionExpand description
Solve a constraint problem via backtracking. Currently returns the initial assignment — the VM does the real verification.
pub fn solve(_problem: &ConstraintProblem) -> SolutionSolve a constraint problem via backtracking. Currently returns the initial assignment — the VM does the real verification.