Consistency algorithms

NuCS relies on consistency algorithms. Some consistency algorithms are provided, custom consistency algorithms can be defined and used instead.

Bound consistency algorithm

NuCS provides nucs.solvers.bound_consistency_algorithm which is the default consistency algorithm.

Custom consistency algorithms

NuCS makes it possible to define and use custom consistency algorithms.

The nucs.examples.golomb.golomb_problem model defines a custom consistency algorithm adapted to the Golomb ruler problem.

This custom consistency algorithm needs to be registered before it is used.

consistency_alg_golomb = register_consistency_algorithm(golomb_consistency_algorithm)
solver = BacktrackSolver(problem, consistency_alg_idx=consistency_alg_golomb)