Alexander-Schiendorfer / cp-examplesLinks
☆12Updated 2 years ago
Alternatives and similar repositories for cp-examples
Users that are interested in cp-examples are comparing it to the libraries listed below
Sorting:
- GLPK, but it's Python.☆14Updated last year
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Updated 4 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- A collection of problem specifications in Essence.☆10Updated 2 weeks ago
- Benchmarks and comparisons of leading ABM frameworks☆21Updated 7 months ago
- Logic Programming in Python☆31Updated 4 years ago
- A Binder repo for SageMath computing environment☆33Updated this week
- A benchmark library for constraints☆98Updated last month
- projects using 3Blue1Brown's manim engine☆34Updated 5 years ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆64Updated last year
- Julia bindings for xtensor☆19Updated 3 years ago
- Access to all MiniZinc functionality directly from Python☆199Updated last week
- Graph algorithms written in GraphBLAS☆81Updated 2 months ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆72Updated 3 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆50Updated 7 months ago
- Combo.jl: Combinatorial Optimization in Julia☆16Updated 6 years ago
- DEPRECIATED :: Use PowerModelsRestoration.jl☆20Updated 5 years ago
- Course material for "Scientific Software Development"☆24Updated 6 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A Python library for manipulating indices of ndarrays☆109Updated last week
- Simple Traveling Salesman Problem implementation in Julia☆21Updated 3 years ago
- Examples and Models.☆18Updated 4 years ago
- Specification and description of the MathOptFormat file format☆20Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Errata for Algorithms for Optimization book☆72Updated 8 months ago
- pymhlib - A Toolbox for Metaheuristics and Hybrid Optimization Methods☆30Updated 2 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- Building dynamical systems compositionally☆75Updated 2 weeks ago