xoolive / facileLinks
Python constraint programming library
☆24Updated 3 weeks ago
Alternatives and similar repositories for facile
Users that are interested in facile are comparing it to the libraries listed below
Sorting:
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- A Python Library for modeling combinatorial constrained problems☆74Updated last week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆302Updated this week
- Access to all MiniZinc functionality directly from Python☆182Updated this week
- IPython / Jupyter notebook magic☆21Updated 7 years ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆66Updated 4 years ago
- A collection of problem specifications in Essence.☆10Updated 5 months ago
- A benchmark library for constraints☆97Updated this week
- An open-source course on constraint solving☆24Updated last week
- The CP solver Chuffed☆20Updated 9 years ago
- Exact optimization for cost function networks and additive graphical models☆61Updated this week
- A CP Portfolio Solver☆26Updated 2 years ago
- A library for pattern matching on symbolic expressions in Python.☆170Updated last year
- Python Combinatorial Optimisation Platform☆160Updated 4 years ago
- The Chuffed CP solver☆113Updated this week
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆63Updated last year
- Python library for declarative, constrained, structured-output prediction.☆21Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Python S-expression emulation using tuple-like objects.☆23Updated last week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Fast Function Extraction☆85Updated 3 months ago
- Logic Programming in Python☆31Updated 4 years ago
- Python bindings to picosat (a SAT solver)☆192Updated 2 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 5 months ago
- Domain Specific Languages in Python☆97Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Dynamic Self-Organized maps☆22Updated 9 years ago
- ☆42Updated 5 years ago
- SNAKES is the Net Algebra Kit for Editors and Simulators☆93Updated last year
- ☆77Updated 3 years ago