Hello,
NUCS is a fast (sic) constraint solver in Python using Numpy and Numba: GitHub - yangeorget/nucs: NUCS is a Python library for solving Constraint Satisfaction and Optimization Problems.
NUCS is still at an early stage, all comments are welcome!
Thanks to all