minizinc (pypi): Access MiniZinc directly from Python
Keywords: constraint-programming|integer-programming|linear-programming|minizinc|optimisation-problem|python|sat-solver