backtrack-rs (cargo): Backtracking solver with examples
Keywords: combinatorial|solver|search|sat|backtracking