backtrack (cargo): Solve hard constraints easily
Keywords: sat|solver|combinatorial|backtracking|search