Last released Feb 9, 2021
Quality-of-life and extra features for python-sat
Last released Feb 14, 2020
Yet another mathematical programming solver
Supported by