NUCS 2.1.0__tar.gz → 2.2.0__tar.gz

nucs-2.2.0/NUCS.egg-info/PKG-INFO

@@ -0,0 +1,147 @@
+Metadata-Version: 2.1
+Name: NUCS
+Version: 2.2.0
+Summary: A Numpy and Numba based Python library for solving Constraint Satisfaction Problems over finite domains
+Author-email: Yan Georget <yan.georget@gmail.com>
+Project-URL: Homepage, https://github.com/yangeorget/nucs
+Project-URL: Issues, https://github.com/yangeorget/nucs/issues
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Classifier: Topic :: Software Development :: Libraries :: Python Modules
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+License-File: LICENSE.md
+Requires-Dist: numba==0.60.0
+Requires-Dist: numpy==2.0.1
+
+![NucS logo](https://github.com/yangeorget/nucs/blob/main/assets/nucs.png?raw=true)
+
+
+![pypi version](https://img.shields.io/pypi/v/nucs?color=blue&label=pypi%20version&logo=pypi&logoColor=white)
+![pypi downloads](https://img.shields.io/pypi/dm/NUCS)
+
+![numba version](https://img.shields.io/badge/numba-v0.60-blue)
+![numpy version](https://img.shields.io/badge/numpy-v2.0-blue)
+
+![tests](https://github.com/yangeorget/nucs/actions/workflows/test.yml/badge.svg)
+![doc](https://img.shields.io/readthedocs/nucs)
+![license](https://img.shields.io/github/license/yangeorget/nucs)
+
+## TLDR
+NuCS is a Python library for solving Constraint Satisfaction and Optimization Problems.
+Because it is 100% written in Python, 
+NuCS is easy to install and allows to model complex problems in a few lines of code.
+The NuCS solver is also very fast because it is powered by [Numpy](https://numpy.org/) and [Numba](https://numba.pydata.org/).
+
+## Installation
+```bash
+pip install nucs
+```
+## Documentation
+Check out [NUCS documentation](https://nucs.readthedocs.io/).
+
+## With NuCS, in a few seconds you can ...
+### Find all 14200 solutions to the [12-queens problem](https://www.csplib.org/Problems/prob054/)
+```bash
+NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.queens -n 12 --log_level=INFO
+```
+```bash
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.solver - Problem has 3 propagators
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.solver - Problem has 12 variables
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses variable heuristic 0
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses domain heuristic 0
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses consistency algorithm 0
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - Choice points stack has a maximal height of 128
+2024-11-12 17:24:49,200 - INFO - nucs.solvers.multiprocessing_solver - MultiprocessingSolver has 1 processors
+{
+    'OPTIMIZER_SOLUTION_NB': 0,
+    'PROBLEM_FILTER_NB': 262011,
+    'PROBLEM_SHAVING_NB': 0,
+    'PROBLEM_SHAVING_CHANGE_NB': 0,
+    'PROBLEM_SHAVING_NO_CHANGE_NB': 0,
+    'PROPAGATOR_ENTAILMENT_NB': 0,
+    'PROPAGATOR_FILTER_NB': 2269980,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 990450,
+    'PROPAGATOR_INCONSISTENCY_NB': 116806,
+    'SOLVER_BACKTRACK_NB': 131005,
+    'SOLVER_CHOICE_NB': 131005,
+    'SOLVER_CHOICE_DEPTH': 10,
+    'SOLVER_SOLUTION_NB': 14200
+}
+```
+
+### Compute the 92 solutions to the [BIBD(8,14,7,4,3) problem](https://www.csplib.org/Problems/prob028/)
+```bash
+NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.bibd -v 8 -b 14 -r 7 -k 4 -l 3 --symmetry_breaking --log_level=INFO
+```
+```bash
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.solver - Problem has 462 propagators
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.solver - Problem has 504 variables
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses variable heuristic 0
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses domain heuristic 1
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses consistency algorithm 0
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - Choice points stack has a maximal height of 128
+{
+    'OPTIMIZER_SOLUTION_NB': 0,
+    'PROBLEM_FILTER_NB': 1425,
+    'PROBLEM_SHAVING_NB': 0,
+    'PROBLEM_SHAVING_CHANGE_NB': 0,
+    'PROBLEM_SHAVING_NO_CHANGE_NB': 0,
+    'PROPAGATOR_ENTAILMENT_NB': 4711,
+    'PROPAGATOR_FILTER_NB': 104392,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 73792,
+    'PROPAGATOR_INCONSISTENCY_NB': 621,
+    'SOLVER_BACKTRACK_NB': 712,
+    'SOLVER_CHOICE_NB': 712,
+    'SOLVER_CHOICE_DEPTH': 19,
+    'SOLVER_SOLUTION_NB': 92
+}
+```
+
+### Demonstrate that the optimal [10-marks Golomb ruler](https://www.csplib.org/Problems/prob006/) length is 55
+```bash
+NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.golomb -n 10 --symmetry_breaking --log_level=INFO
+```
+```bash
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.solver - Problem has 82 propagators
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.solver - Problem has 45 variables
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses variable heuristic 0
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses domain heuristic 0
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses consistency algorithm 2
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - Choice points stack has a maximal height of 128
+2024-11-12 17:27:45,172 - INFO - nucs.solvers.backtrack_solver - Minimizing variable 8
+2024-11-12 17:27:45,644 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 80
+2024-11-12 17:27:45,677 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 75
+2024-11-12 17:27:45,677 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 73
+2024-11-12 17:27:45,678 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 72
+2024-11-12 17:27:45,679 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 70
+2024-11-12 17:27:45,682 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 68
+2024-11-12 17:27:45,687 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 66
+2024-11-12 17:27:45,693 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 62
+2024-11-12 17:27:45,717 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 60
+2024-11-12 17:27:45,977 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 55
+{
+    'OPTIMIZER_SOLUTION_NB': 10,
+    'PROBLEM_FILTER_NB': 22652,
+    'PROBLEM_SHAVING_NB': 0,
+    'PROBLEM_SHAVING_CHANGE_NB': 0,
+    'PROBLEM_SHAVING_NO_CHANGE_NB': 0,
+    'PROPAGATOR_ENTAILMENT_NB': 107911,
+    'PROPAGATOR_FILTER_NB': 2813035,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 1745836,
+    'PROPAGATOR_INCONSISTENCY_NB': 11289,
+    'SOLVER_BACKTRACK_NB': 11288,
+    'SOLVER_CHOICE_NB': 11353,
+    'SOLVER_CHOICE_DEPTH': 9,
+    'SOLVER_SOLUTION_NB': 10
+}
+[ 1  6 10 23 26 34 41 53 55]
+```
+
+

nucs-2.2.0/PKG-INFO

@@ -0,0 +1,147 @@
+Metadata-Version: 2.1
+Name: NUCS
+Version: 2.2.0
+Summary: A Numpy and Numba based Python library for solving Constraint Satisfaction Problems over finite domains
+Author-email: Yan Georget <yan.georget@gmail.com>
+Project-URL: Homepage, https://github.com/yangeorget/nucs
+Project-URL: Issues, https://github.com/yangeorget/nucs/issues
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Classifier: Topic :: Software Development :: Libraries :: Python Modules
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+License-File: LICENSE.md
+Requires-Dist: numba==0.60.0
+Requires-Dist: numpy==2.0.1
+
+![NucS logo](https://github.com/yangeorget/nucs/blob/main/assets/nucs.png?raw=true)
+
+
+![pypi version](https://img.shields.io/pypi/v/nucs?color=blue&label=pypi%20version&logo=pypi&logoColor=white)
+![pypi downloads](https://img.shields.io/pypi/dm/NUCS)
+
+![numba version](https://img.shields.io/badge/numba-v0.60-blue)
+![numpy version](https://img.shields.io/badge/numpy-v2.0-blue)
+
+![tests](https://github.com/yangeorget/nucs/actions/workflows/test.yml/badge.svg)
+![doc](https://img.shields.io/readthedocs/nucs)
+![license](https://img.shields.io/github/license/yangeorget/nucs)
+
+## TLDR
+NuCS is a Python library for solving Constraint Satisfaction and Optimization Problems.
+Because it is 100% written in Python, 
+NuCS is easy to install and allows to model complex problems in a few lines of code.
+The NuCS solver is also very fast because it is powered by [Numpy](https://numpy.org/) and [Numba](https://numba.pydata.org/).
+
+## Installation
+```bash
+pip install nucs
+```
+## Documentation
+Check out [NUCS documentation](https://nucs.readthedocs.io/).
+
+## With NuCS, in a few seconds you can ...
+### Find all 14200 solutions to the [12-queens problem](https://www.csplib.org/Problems/prob054/)
+```bash
+NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.queens -n 12 --log_level=INFO
+```
+```bash
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.solver - Problem has 3 propagators
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.solver - Problem has 12 variables
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses variable heuristic 0
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses domain heuristic 0
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses consistency algorithm 0
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - Choice points stack has a maximal height of 128
+2024-11-12 17:24:49,200 - INFO - nucs.solvers.multiprocessing_solver - MultiprocessingSolver has 1 processors
+{
+    'OPTIMIZER_SOLUTION_NB': 0,
+    'PROBLEM_FILTER_NB': 262011,
+    'PROBLEM_SHAVING_NB': 0,
+    'PROBLEM_SHAVING_CHANGE_NB': 0,
+    'PROBLEM_SHAVING_NO_CHANGE_NB': 0,
+    'PROPAGATOR_ENTAILMENT_NB': 0,
+    'PROPAGATOR_FILTER_NB': 2269980,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 990450,
+    'PROPAGATOR_INCONSISTENCY_NB': 116806,
+    'SOLVER_BACKTRACK_NB': 131005,
+    'SOLVER_CHOICE_NB': 131005,
+    'SOLVER_CHOICE_DEPTH': 10,
+    'SOLVER_SOLUTION_NB': 14200
+}
+```
+
+### Compute the 92 solutions to the [BIBD(8,14,7,4,3) problem](https://www.csplib.org/Problems/prob028/)
+```bash
+NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.bibd -v 8 -b 14 -r 7 -k 4 -l 3 --symmetry_breaking --log_level=INFO
+```
+```bash
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.solver - Problem has 462 propagators
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.solver - Problem has 504 variables
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses variable heuristic 0
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses domain heuristic 1
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses consistency algorithm 0
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - Choice points stack has a maximal height of 128
+{
+    'OPTIMIZER_SOLUTION_NB': 0,
+    'PROBLEM_FILTER_NB': 1425,
+    'PROBLEM_SHAVING_NB': 0,
+    'PROBLEM_SHAVING_CHANGE_NB': 0,
+    'PROBLEM_SHAVING_NO_CHANGE_NB': 0,
+    'PROPAGATOR_ENTAILMENT_NB': 4711,
+    'PROPAGATOR_FILTER_NB': 104392,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 73792,
+    'PROPAGATOR_INCONSISTENCY_NB': 621,
+    'SOLVER_BACKTRACK_NB': 712,
+    'SOLVER_CHOICE_NB': 712,
+    'SOLVER_CHOICE_DEPTH': 19,
+    'SOLVER_SOLUTION_NB': 92
+}
+```
+
+### Demonstrate that the optimal [10-marks Golomb ruler](https://www.csplib.org/Problems/prob006/) length is 55
+```bash
+NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.golomb -n 10 --symmetry_breaking --log_level=INFO
+```
+```bash
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.solver - Problem has 82 propagators
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.solver - Problem has 45 variables
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses variable heuristic 0
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses domain heuristic 0
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses consistency algorithm 2
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - Choice points stack has a maximal height of 128
+2024-11-12 17:27:45,172 - INFO - nucs.solvers.backtrack_solver - Minimizing variable 8
+2024-11-12 17:27:45,644 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 80
+2024-11-12 17:27:45,677 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 75
+2024-11-12 17:27:45,677 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 73
+2024-11-12 17:27:45,678 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 72
+2024-11-12 17:27:45,679 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 70
+2024-11-12 17:27:45,682 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 68
+2024-11-12 17:27:45,687 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 66
+2024-11-12 17:27:45,693 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 62
+2024-11-12 17:27:45,717 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 60
+2024-11-12 17:27:45,977 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 55
+{
+    'OPTIMIZER_SOLUTION_NB': 10,
+    'PROBLEM_FILTER_NB': 22652,
+    'PROBLEM_SHAVING_NB': 0,
+    'PROBLEM_SHAVING_CHANGE_NB': 0,
+    'PROBLEM_SHAVING_NO_CHANGE_NB': 0,
+    'PROPAGATOR_ENTAILMENT_NB': 107911,
+    'PROPAGATOR_FILTER_NB': 2813035,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 1745836,
+    'PROPAGATOR_INCONSISTENCY_NB': 11289,
+    'SOLVER_BACKTRACK_NB': 11288,
+    'SOLVER_CHOICE_NB': 11353,
+    'SOLVER_CHOICE_DEPTH': 9,
+    'SOLVER_SOLUTION_NB': 10
+}
+[ 1  6 10 23 26 34 41 53 55]
+```
+
+

nucs-2.2.0/README.md

@@ -0,0 +1,125 @@
+![NucS logo](https://github.com/yangeorget/nucs/blob/main/assets/nucs.png?raw=true)
+
+
+![pypi version](https://img.shields.io/pypi/v/nucs?color=blue&label=pypi%20version&logo=pypi&logoColor=white)
+![pypi downloads](https://img.shields.io/pypi/dm/NUCS)
+
+![numba version](https://img.shields.io/badge/numba-v0.60-blue)
+![numpy version](https://img.shields.io/badge/numpy-v2.0-blue)
+
+![tests](https://github.com/yangeorget/nucs/actions/workflows/test.yml/badge.svg)
+![doc](https://img.shields.io/readthedocs/nucs)
+![license](https://img.shields.io/github/license/yangeorget/nucs)
+
+## TLDR
+NuCS is a Python library for solving Constraint Satisfaction and Optimization Problems.
+Because it is 100% written in Python, 
+NuCS is easy to install and allows to model complex problems in a few lines of code.
+The NuCS solver is also very fast because it is powered by [Numpy](https://numpy.org/) and [Numba](https://numba.pydata.org/).
+
+## Installation
+```bash
+pip install nucs
+```
+## Documentation
+Check out [NUCS documentation](https://nucs.readthedocs.io/).
+
+## With NuCS, in a few seconds you can ...
+### Find all 14200 solutions to the [12-queens problem](https://www.csplib.org/Problems/prob054/)
+```bash
+NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.queens -n 12 --log_level=INFO
+```
+```bash
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.solver - Problem has 3 propagators
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.solver - Problem has 12 variables
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses variable heuristic 0
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses domain heuristic 0
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses consistency algorithm 0
+2024-11-12 17:24:49,061 - INFO - nucs.solvers.backtrack_solver - Choice points stack has a maximal height of 128
+2024-11-12 17:24:49,200 - INFO - nucs.solvers.multiprocessing_solver - MultiprocessingSolver has 1 processors
+{
+    'OPTIMIZER_SOLUTION_NB': 0,
+    'PROBLEM_FILTER_NB': 262011,
+    'PROBLEM_SHAVING_NB': 0,
+    'PROBLEM_SHAVING_CHANGE_NB': 0,
+    'PROBLEM_SHAVING_NO_CHANGE_NB': 0,
+    'PROPAGATOR_ENTAILMENT_NB': 0,
+    'PROPAGATOR_FILTER_NB': 2269980,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 990450,
+    'PROPAGATOR_INCONSISTENCY_NB': 116806,
+    'SOLVER_BACKTRACK_NB': 131005,
+    'SOLVER_CHOICE_NB': 131005,
+    'SOLVER_CHOICE_DEPTH': 10,
+    'SOLVER_SOLUTION_NB': 14200
+}
+```
+
+### Compute the 92 solutions to the [BIBD(8,14,7,4,3) problem](https://www.csplib.org/Problems/prob028/)
+```bash
+NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.bibd -v 8 -b 14 -r 7 -k 4 -l 3 --symmetry_breaking --log_level=INFO
+```
+```bash
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.solver - Problem has 462 propagators
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.solver - Problem has 504 variables
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses variable heuristic 0
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses domain heuristic 1
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses consistency algorithm 0
+2024-11-12 17:26:39,734 - INFO - nucs.solvers.backtrack_solver - Choice points stack has a maximal height of 128
+{
+    'OPTIMIZER_SOLUTION_NB': 0,
+    'PROBLEM_FILTER_NB': 1425,
+    'PROBLEM_SHAVING_NB': 0,
+    'PROBLEM_SHAVING_CHANGE_NB': 0,
+    'PROBLEM_SHAVING_NO_CHANGE_NB': 0,
+    'PROPAGATOR_ENTAILMENT_NB': 4711,
+    'PROPAGATOR_FILTER_NB': 104392,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 73792,
+    'PROPAGATOR_INCONSISTENCY_NB': 621,
+    'SOLVER_BACKTRACK_NB': 712,
+    'SOLVER_CHOICE_NB': 712,
+    'SOLVER_CHOICE_DEPTH': 19,
+    'SOLVER_SOLUTION_NB': 92
+}
+```
+
+### Demonstrate that the optimal [10-marks Golomb ruler](https://www.csplib.org/Problems/prob006/) length is 55
+```bash
+NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.golomb -n 10 --symmetry_breaking --log_level=INFO
+```
+```bash
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.solver - Problem has 82 propagators
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.solver - Problem has 45 variables
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses variable heuristic 0
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses domain heuristic 0
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - BacktrackSolver uses consistency algorithm 2
+2024-11-12 17:27:45,110 - INFO - nucs.solvers.backtrack_solver - Choice points stack has a maximal height of 128
+2024-11-12 17:27:45,172 - INFO - nucs.solvers.backtrack_solver - Minimizing variable 8
+2024-11-12 17:27:45,644 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 80
+2024-11-12 17:27:45,677 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 75
+2024-11-12 17:27:45,677 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 73
+2024-11-12 17:27:45,678 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 72
+2024-11-12 17:27:45,679 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 70
+2024-11-12 17:27:45,682 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 68
+2024-11-12 17:27:45,687 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 66
+2024-11-12 17:27:45,693 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 62
+2024-11-12 17:27:45,717 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 60
+2024-11-12 17:27:45,977 - INFO - nucs.solvers.backtrack_solver - Found a (new) solution: 55
+{
+    'OPTIMIZER_SOLUTION_NB': 10,
+    'PROBLEM_FILTER_NB': 22652,
+    'PROBLEM_SHAVING_NB': 0,
+    'PROBLEM_SHAVING_CHANGE_NB': 0,
+    'PROBLEM_SHAVING_NO_CHANGE_NB': 0,
+    'PROPAGATOR_ENTAILMENT_NB': 107911,
+    'PROPAGATOR_FILTER_NB': 2813035,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 1745836,
+    'PROPAGATOR_INCONSISTENCY_NB': 11289,
+    'SOLVER_BACKTRACK_NB': 11288,
+    'SOLVER_CHOICE_NB': 11353,
+    'SOLVER_CHOICE_DEPTH': 9,
+    'SOLVER_SOLUTION_NB': 10
+}
+[ 1  6 10 23 26 34 41 53 55]
+```
+
+

{nucs-2.1.0 → nucs-2.2.0}/docs/source/conf.py

@@ -6,8 +6,8 @@ project = 'NUCS'
 copyright = '2024, Yan Georget'
 author = 'Yan Georget'
 
-release = '2.1.0'
-version = '2.1.0'
+release = '2.2.0'
+version = '2.2.0'
 
 # -- General configuration
 

{nucs-2.1.0 → nucs-2.2.0}/nucs/constants.py

@@ -56,3 +56,11 @@ TYPE_VAR_HEURISTIC = types.FunctionType(SIGNATURE_VAR_HEURISTIC)
 TYPE_CONSISTENCY_ALG = types.FunctionType(SIGNATURE_CONSISTENCY_ALG)
 
 NUMBA_DISABLE_JIT = os.getenv("NUMBA_DISABLE_JIT")
+
+LOG_FORMAT = "%(asctime)s - %(levelname)s - %(name)s - %(message)s"
+LOG_LEVEL_DEBUG = "DEBUG"
+LOG_LEVEL_INFO = "INFO"
+LOG_LEVEL_WARNING = "WARNING"
+LOG_LEVEL_ERROR = "ERROR"
+LOG_LEVEL_CRITICAL = "CRITICAL"
+LOG_LEVELS = [LOG_LEVEL_DEBUG, LOG_LEVEL_INFO, LOG_LEVEL_WARNING, LOG_LEVEL_ERROR, LOG_LEVEL_CRITICAL]

{nucs-2.1.0 → nucs-2.2.0}/nucs/examples/alpha/__main__.py

@@ -10,8 +10,11 @@
 #
 # Copyright 2024 - Yan Georget
 ###############################################################################
+import argparse
+
 from rich import print
 
+from nucs.constants import LOG_LEVEL_INFO, LOG_LEVELS
 from nucs.examples.alpha.alpha_problem import AlphaProblem
 from nucs.solvers.backtrack_solver import BacktrackSolver
 from nucs.solvers.heuristics import DOM_HEURISTIC_MIN_VALUE, VAR_HEURISTIC_SMALLEST_DOMAIN
@@ -20,9 +23,15 @@ from nucs.statistics import get_statistics
 # Run with the following command (the second run is much faster because the code has been compiled):
 # NUMBA_CACHE_DIR=.numba/cache PYTHONPATH=. python -m nucs.examples.alpha
 if __name__ == "__main__":
+    parser = argparse.ArgumentParser()
+    parser.add_argument("--log_level", choices=LOG_LEVELS, default=LOG_LEVEL_INFO)
+    args = parser.parse_args()
     problem = AlphaProblem()
     solver = BacktrackSolver(
-        problem, var_heuristic_idx=VAR_HEURISTIC_SMALLEST_DOMAIN, dom_heuristic_idx=DOM_HEURISTIC_MIN_VALUE
+        problem,
+        var_heuristic_idx=VAR_HEURISTIC_SMALLEST_DOMAIN,
+        dom_heuristic_idx=DOM_HEURISTIC_MIN_VALUE,
+        log_level=args.log_level,
     )
     solutions = solver.find_all()
     print(get_statistics(solver.statistics))

{nucs-2.1.0 → nucs-2.2.0}/nucs/examples/bibd/__main__.py

@@ -14,6 +14,7 @@ import argparse
 
 from rich import print
 
+from nucs.constants import LOG_LEVEL_INFO, LOG_LEVELS
 from nucs.examples.bibd.bibd_problem import BIBDProblem
 from nucs.solvers.backtrack_solver import BacktrackSolver
 from nucs.solvers.heuristics import DOM_HEURISTIC_MAX_VALUE
@@ -29,8 +30,9 @@ if __name__ == "__main__":
     parser.add_argument("-k", type=int)
     parser.add_argument("-l", type=int)
     parser.add_argument("--symmetry_breaking", action=argparse.BooleanOptionalAction, default=True)
+    parser.add_argument("--log_level", choices=LOG_LEVELS, default=LOG_LEVEL_INFO)
     args = parser.parse_args()
     problem = BIBDProblem(args.v, args.b, args.r, args.k, args.l, args.symmetry_breaking)
-    solver = BacktrackSolver(problem, dom_heuristic_idx=DOM_HEURISTIC_MAX_VALUE)
+    solver = BacktrackSolver(problem, dom_heuristic_idx=DOM_HEURISTIC_MAX_VALUE, log_level=args.log_level)
     solver.solve_all()
     print(get_statistics(solver.statistics))

{nucs-2.1.0 → nucs-2.2.0}/nucs/examples/donald/__main__.py

@@ -10,8 +10,11 @@
 #
 # Copyright 2024 - Yan Georget
 ###############################################################################
+import argparse
+
 from rich import print
 
+from nucs.constants import LOG_LEVEL_INFO, LOG_LEVELS
 from nucs.examples.donald.donald_problem import DonaldProblem
 from nucs.solvers.backtrack_solver import BacktrackSolver
 from nucs.solvers.heuristics import DOM_HEURISTIC_MIN_VALUE, VAR_HEURISTIC_SMALLEST_DOMAIN
@@ -20,9 +23,15 @@ from nucs.statistics import get_statistics
 # Run with the following command (the second run is much faster because the code has been compiled):
 # NUMBA_CACHE_DIR=.numba/cache PYTHONPATH=. python -m nucs.examples.donald
 if __name__ == "__main__":
+    parser = argparse.ArgumentParser()
+    parser.add_argument("--log_level", choices=LOG_LEVELS, default=LOG_LEVEL_INFO)
+    args = parser.parse_args()
     problem = DonaldProblem()
     solver = BacktrackSolver(
-        problem, var_heuristic_idx=VAR_HEURISTIC_SMALLEST_DOMAIN, dom_heuristic_idx=DOM_HEURISTIC_MIN_VALUE
+        problem,
+        var_heuristic_idx=VAR_HEURISTIC_SMALLEST_DOMAIN,
+        dom_heuristic_idx=DOM_HEURISTIC_MIN_VALUE,
+        log_level=args.log_level,
     )
     print(get_statistics(solver.statistics))
     for solution in solver.solve():

{nucs-2.1.0 → nucs-2.2.0}/nucs/examples/golomb/__main__.py

@@ -14,6 +14,7 @@ import argparse
 
 from rich import print
 
+from nucs.constants import LOG_LEVEL_INFO, LOG_LEVELS
 from nucs.examples.golomb.golomb_problem import GolombProblem, golomb_consistency_algorithm
 from nucs.solvers.backtrack_solver import BacktrackSolver
 from nucs.solvers.consistency_algorithms import register_consistency_algorithm
@@ -25,10 +26,11 @@ if __name__ == "__main__":
     parser = argparse.ArgumentParser()
     parser.add_argument("-n", type=int, default=10)
     parser.add_argument("--symmetry_breaking", action=argparse.BooleanOptionalAction, default=True)
+    parser.add_argument("--log_level", choices=LOG_LEVELS, default=LOG_LEVEL_INFO)
     args = parser.parse_args()
     problem = GolombProblem(args.n, args.symmetry_breaking)
     consistency_alg_golomb = register_consistency_algorithm(golomb_consistency_algorithm)
-    solver = BacktrackSolver(problem, consistency_alg_idx=consistency_alg_golomb)
+    solver = BacktrackSolver(problem, consistency_alg_idx=consistency_alg_golomb, log_level=args.log_level)
     solution = solver.minimize(problem.length_idx)
     print(get_statistics(solver.statistics))
     if solution is not None:

{nucs-2.1.0 → nucs-2.2.0}/nucs/examples/knapsack/__main__.py

@@ -10,8 +10,11 @@
 #
 # Copyright 2024 - Yan Georget
 ###############################################################################
+import argparse
+
 from rich import print
 
+from nucs.constants import LOG_LEVEL_INFO, LOG_LEVELS
 from nucs.examples.knapsack.knapsack_problem import KnapsackProblem
 from nucs.solvers.backtrack_solver import BacktrackSolver
 from nucs.solvers.heuristics import DOM_HEURISTIC_MAX_VALUE, VAR_HEURISTIC_FIRST_NOT_INSTANTIATED
@@ -20,13 +23,19 @@ from nucs.statistics import get_statistics
 # Run with the following command (the second run is much faster because the code has been compiled):
 # NUMBA_CACHE_DIR=.numba/cache PYTHONPATH=. python -m nucs.examples.knapsack
 if __name__ == "__main__":
+    parser = argparse.ArgumentParser()
+    parser.add_argument("--log_level", choices=LOG_LEVELS, default=LOG_LEVEL_INFO)
+    args = parser.parse_args()
     problem = KnapsackProblem(
         [40, 40, 38, 38, 36, 36, 34, 34, 32, 32, 30, 30, 28, 28, 26, 26, 24, 24, 22, 22],
         [40, 40, 38, 38, 36, 36, 34, 34, 32, 32, 30, 30, 28, 28, 26, 26, 24, 24, 22, 22],
         55,
     )
     solver = BacktrackSolver(
-        problem, var_heuristic_idx=VAR_HEURISTIC_FIRST_NOT_INSTANTIATED, dom_heuristic_idx=DOM_HEURISTIC_MAX_VALUE
+        problem,
+        var_heuristic_idx=VAR_HEURISTIC_FIRST_NOT_INSTANTIATED,
+        dom_heuristic_idx=DOM_HEURISTIC_MAX_VALUE,
+        log_level=args.log_level,
     )
     solution = solver.maximize(problem.weight)
     print(get_statistics(solver.statistics))

{nucs-2.1.0 → nucs-2.2.0}/nucs/examples/magic_sequence/__main__.py

@@ -14,6 +14,7 @@ import argparse
 
 from rich import print
 
+from nucs.constants import LOG_LEVEL_INFO, LOG_LEVELS
 from nucs.examples.magic_sequence.magic_sequence_problem import MagicSequenceProblem
 from nucs.solvers.backtrack_solver import BacktrackSolver
 from nucs.solvers.heuristics import DOM_HEURISTIC_MIN_VALUE, VAR_HEURISTIC_LAST_NOT_INSTANTIATED
@@ -24,10 +25,14 @@ from nucs.statistics import get_statistics
 if __name__ == "__main__":
     parser = argparse.ArgumentParser()
     parser.add_argument("-n", type=int, default=100)
+    parser.add_argument("--log_level", choices=LOG_LEVELS, default=LOG_LEVEL_INFO)
     args = parser.parse_args()
     problem = MagicSequenceProblem(args.n)
     solver = BacktrackSolver(
-        problem, var_heuristic_idx=VAR_HEURISTIC_LAST_NOT_INSTANTIATED, dom_heuristic_idx=DOM_HEURISTIC_MIN_VALUE
+        problem,
+        var_heuristic_idx=VAR_HEURISTIC_LAST_NOT_INSTANTIATED,
+        dom_heuristic_idx=DOM_HEURISTIC_MIN_VALUE,
+        log_level=args.log_level,
     )
     solver.solve_all()
     print(get_statistics(solver.statistics))

{nucs-2.1.0 → nucs-2.2.0}/nucs/examples/magic_square/__main__.py

@@ -14,6 +14,7 @@ import argparse
 
 from rich import print
 
+from nucs.constants import LOG_LEVEL_INFO, LOG_LEVELS
 from nucs.examples.magic_square.magic_square_problem import MagicSquareProblem
 from nucs.solvers.backtrack_solver import BacktrackSolver
 from nucs.solvers.heuristics import DOM_HEURISTIC_MAX_VALUE, VAR_HEURISTIC_SMALLEST_DOMAIN
@@ -25,10 +26,14 @@ if __name__ == "__main__":
     parser = argparse.ArgumentParser()
     parser.add_argument("-n", type=int)
     parser.add_argument("--symmetry_breaking", action=argparse.BooleanOptionalAction, default=True)
+    parser.add_argument("--log_level", choices=LOG_LEVELS, default=LOG_LEVEL_INFO)
     args = parser.parse_args()
     problem = MagicSquareProblem(args.n, args.symmetry_breaking)
     solver = BacktrackSolver(
-        problem, var_heuristic_idx=VAR_HEURISTIC_SMALLEST_DOMAIN, dom_heuristic_idx=DOM_HEURISTIC_MAX_VALUE
+        problem,
+        var_heuristic_idx=VAR_HEURISTIC_SMALLEST_DOMAIN,
+        dom_heuristic_idx=DOM_HEURISTIC_MAX_VALUE,
+        log_level=args.log_level,
     )
     solver.solve_all()
     print(get_statistics(solver.statistics))

{nucs-2.1.0 → nucs-2.2.0}/nucs/examples/quasigroup/__main__.py

@@ -14,6 +14,7 @@ import argparse
 
 from rich import print
 
+from nucs.constants import LOG_LEVEL_INFO, LOG_LEVELS
 from nucs.examples.quasigroup.quasigroup_problem import Quasigroup5Problem
 from nucs.solvers.backtrack_solver import BacktrackSolver
 from nucs.solvers.heuristics import DOM_HEURISTIC_MIN_VALUE, VAR_HEURISTIC_SMALLEST_DOMAIN
@@ -25,10 +26,14 @@ if __name__ == "__main__":
     parser = argparse.ArgumentParser()
     parser.add_argument("-n", type=int, default=10)
     parser.add_argument("--symmetry_breaking", action=argparse.BooleanOptionalAction, default=True)
+    parser.add_argument("--log_level", choices=LOG_LEVELS, default=LOG_LEVEL_INFO)
     args = parser.parse_args()
     problem = Quasigroup5Problem(args.n, args.symmetry_breaking)
     solver = BacktrackSolver(
-        problem, var_heuristic_idx=VAR_HEURISTIC_SMALLEST_DOMAIN, dom_heuristic_idx=DOM_HEURISTIC_MIN_VALUE
+        problem,
+        var_heuristic_idx=VAR_HEURISTIC_SMALLEST_DOMAIN,
+        dom_heuristic_idx=DOM_HEURISTIC_MIN_VALUE,
+        log_level=args.log_level,
     )
     solver.solve_all()
     print(get_statistics(solver.statistics))