Alexander-Schiendorfer / cp-examplesLinks
☆11Updated last year
Alternatives and similar repositories for cp-examples
Users that are interested in cp-examples are comparing it to the libraries listed below
Sorting:
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- A collection of problem specifications in Essence.☆10Updated 4 months ago
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Updated 4 years ago
- projects using 3Blue1Brown's manim engine☆34Updated 5 years ago
- Access to all MiniZinc functionality directly from Python☆177Updated this week
- GLPK, but it's Python.☆14Updated last year
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆63Updated last year
- pref_voting is a Python package that can be used to study and run elections with different preferential voting methods (graded voting met…☆20Updated this week
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Graph algorithms written in GraphBLAS☆80Updated 2 months ago
- hacky way to bundle some edges in networkx and matplotlib☆20Updated 5 years ago
- AMPL transcriptions of optimal control problems of space relevance (requires ampl commercial software)☆20Updated 4 years ago
- An open-source course on constraint solving☆24Updated 2 months ago
- Python package to plot phase portraits of 2D differential equations.☆27Updated 10 years ago
- Build Petri net models compositionally☆88Updated 3 weeks ago
- Logic Programming in Python☆31Updated 3 years ago
- lazyarray is a Python package that provides a lazily-evaluated numerical array class, larray, based on and compatible with NumPy arrays.☆20Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 4 months ago
- A Python library for manipulating indices of ndarrays☆107Updated last week
- A flexible Mathematica package for conducting experiments involving spatial game theory☆53Updated 6 years ago
- Building dynamical systems compositionally☆73Updated this week
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆65Updated 4 years ago
- Jupyter notebook extension that creates a canvas of a cell and allows to paint onto the contents so it could be used to explain some conc…☆13Updated 6 years ago
- Proof-of-concept implementation of the (dual) simplex algorithm for linear programming in Julia.☆40Updated 12 years ago
- A benchmark library for constraints☆97Updated last month
- ☆70Updated 3 weeks ago
- Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles☆14Updated 7 years ago
- Calculation of algorithmic climate change functions.☆17Updated 2 months ago
- Simple Traveling Salesman Problem implementation in Julia☆21Updated 3 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆71Updated 3 weeks ago