xoolive / facileLinks
Python constraint programming library
☆24Updated last month
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 visualizing algorithms for solving mathematical optimization problems.☆69Updated 4 years ago
- A Python Library for modeling combinatorial constrained problems☆81Updated this week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆331Updated last week
- Exact optimization for cost function networks and additive graphical models☆62Updated 2 weeks ago
- A benchmark library for constraints☆98Updated 3 months ago
- The CP solver Chuffed☆20Updated 9 years ago
- An open-source course on constraint solving☆25Updated 3 months ago
- Access to all MiniZinc functionality directly from Python☆201Updated last month
- The Chuffed CP solver☆119Updated last month
- Python bindings to picosat (a SAT solver)☆191Updated 5 months ago
- A collection of problem specifications in Essence.☆10Updated 2 months ago
- Python Combinatorial Optimisation Platform☆162Updated 4 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A CP Portfolio Solver☆26Updated 2 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated last week
- Implementation of a differentiable CGP (Cartesian Genetic Programming)☆113Updated 3 years ago
- Calculate the steady state distribution of a discrete Markov chain in Python.☆46Updated 7 years ago
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆65Updated last year
- Evolving Directed Acyclic Graph☆29Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- Geometric operations on polytopes of any dimension☆84Updated 8 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆395Updated 2 months ago
- A Python parser for generating Python/C/Matlab solver interfaces☆43Updated 8 years ago
- A library for pattern matching on symbolic expressions in Python.☆172Updated 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☆69Updated last year
- Python S-expression emulation using tuple-like objects.☆25Updated 3 months ago
- ☆42Updated 5 years ago
- ☆77Updated 3 years ago