xoolive / facile
Python constraint programming library
☆23Updated last month
Alternatives and similar repositories for facile:
Users that are interested in facile are comparing it to the libraries listed below
- Python library for declarative, constrained, structured-output prediction.☆21Updated last year
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 2 years ago
- A Python Library for modeling combinatorial constrained problems☆63Updated this week
- Evolving Directed Acyclic Graph☆30Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 6 months ago
- A CP Portfolio Solver☆26Updated last year
- Python S-expression emulation using tuple-like objects.☆21Updated 4 months ago
- IPython / Jupyter notebook magic☆21Updated 6 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Evolutionary feature synthesis☆17Updated 9 years ago
- Automatic differentiation for NumPy☆42Updated 11 years ago
- Rigorous Global Branch-and-Bound Optimizer☆22Updated last month
- Deep Probabilistic Programming Language☆19Updated 5 months ago
- ☆31Updated 10 months ago
- Python Wrapper of CppAD☆20Updated 4 years ago
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆20Updated 3 weeks ago
- A framework for working with inference rules.☆10Updated 3 years ago
- Exact optimization for cost function networks and additive graphical models☆52Updated this week
- ☆15Updated 6 years ago
- This a mirror of the subversion repository on COIN-OR.☆11Updated 5 years ago
- Probabilistic programming system for fast and exact symbolic inference☆77Updated 6 months ago
- Repository to host the GRAPE code developed by the BDS group☆10Updated 3 months ago
- A collection of problem specifications in Essence.☆10Updated 8 months ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆29Updated 2 months ago
- Yuck is a local-search constraint solver with FlatZinc interface☆57Updated 5 months ago
- Constraint Solver ACE☆28Updated this week
- ☆12Updated last year
- Synthesis with Metaheuristics - Genetic Programming in Scala☆15Updated 5 years ago
- A benchmark library for constraints☆86Updated 3 months ago