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 and Numba.
pip install nucsCheck out NuCS documentation.
Find all 14200 solutions to the 12-queens problem
NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.queens -n 12
Compute the 92 solutions to the BIBD(8,14,7,4,3) problem
NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.bibd -v 8 -b 14 -r 7 -k 4 -l 3
Demonstrate that the optimal 10-marks Golomb ruler length is 55
NUMBA_CACHE_DIR=.numba/cache python -m nucs.examples.golomb -n 10