CSP Solver with Forward Checking

Backtracking search with MRV, degree, and LCV heuristics. Optional forward checking prunes domains after each assignment.

Example

.var file (variable : domain)

.con file (binary constraints)

Procedure Backtracking only Forward checking

Result

Search trace