paolodragone / pymznLinks
A Python wrapper for the MiniZinc tool pipeline.
☆55Updated 3 years ago
Alternatives and similar repositories for pymzn
Users that are interested in pymzn are comparing it to the libraries listed below
Sorting:
- IPython / Jupyter notebook magic☆21Updated 6 years ago
- Python Combinatorial Optimisation Platform☆159Updated 4 years ago
- Python constraint programming library☆23Updated 2 months ago
- Python library for declarative, constrained, structured-output prediction.☆21Updated last year
- A benchmark library for constraints☆94Updated 8 months ago
- A CP Portfolio Solver☆26Updated 2 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- A suite of MiniZinc benchmarks.☆85Updated 4 years ago
- Access to all MiniZinc functionality directly from Python☆161Updated last month
- Grave—dead simple graph visualization☆103Updated 2 years ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 4 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Relational data mining in python☆31Updated 2 years ago
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆62Updated last year
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆264Updated this week
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Updated 11 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- A Python interface to CLP, CBC, and CGL to solve LPs and MIPs.☆185Updated 10 months ago
- A converter that takes a network (cnet, igraph, networkx, pathpy, ...) and creates a tikz-network for smooth integration into LaTeX.☆52Updated 3 years ago
- ☆15Updated 6 years ago
- IPython Magic for exporting pandas objects to Excel☆13Updated 7 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- A Python Library for modeling combinatorial constrained problems☆68Updated 2 weeks ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆17Updated 7 years ago
- Hypothesis strategy to generate NetworkX graphs.☆19Updated last year
- ☆71Updated 4 years ago
- Generic goodness of fit tests for random plain old data☆11Updated last year
- Ordered subsets over a finite domain☆26Updated 2 weeks ago
- ☆68Updated 6 years ago
- A Python package for optimization☆60Updated 9 years ago