xoolive / facileLinks
Python constraint programming library
☆23Updated 2 months 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
- IPython / Jupyter notebook magic☆21Updated 6 years ago
- Python library for declarative, constrained, structured-output prediction.☆21Updated last year
- A Python Library for modeling combinatorial constrained problems☆68Updated last week
- Python S-expression emulation using tuple-like objects.☆22Updated 9 months ago
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆20Updated last week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 4 years ago
- A numerical code generator☆20Updated 11 years ago
- Explainable Constraint Solving - A Hands-On Tutorial☆17Updated 3 months ago
- Rigorous Global Branch-and-Bound Optimizer☆24Updated 5 months ago
- ☆13Updated 2 years ago
- Python interface to the QDLDL (https://github.com/osqp/qdldl) free LDL factorization routine for quasi-definite linear systems☆14Updated last month
- Macros in Python: quasiquotes, case classes, LINQ and more!☆29Updated 5 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Subsumed into xnd☆25Updated last year
- MiniZinc documentation☆16Updated 2 years ago
- Subsumed into xnd☆25Updated 5 years ago
- Specify and synthesize systems using symbolic algorithms☆49Updated 7 months ago
- A standalone local search solver for general mixed integer programming☆22Updated 3 months ago
- ☆15Updated 6 years ago
- SAT solver for education☆26Updated 2 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Ordered subsets over a finite domain☆26Updated this week
- Nutmeg – a MIP and CP branch-and-check solver☆26Updated last year
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Generate and represent domain model classes via category-like equations which can be simplified to get the optimal class structure for th…☆14Updated 5 years ago
- Evolutionary feature synthesis☆17Updated 9 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Evolving Directed Acyclic Graph☆29Updated 2 years ago