discreteoptimization / visualization
web based visualizations of discrete optimization assignments
☆27Updated 7 years ago
Alternatives and similar repositories for visualization:
Users that are interested in visualization are comparing it to the libraries listed below
- Open source solvers for the Discrete Optimization set cover assignment.☆107Updated 4 years ago
- small MiniZinc examples demonstrating various language features☆123Updated 7 years ago
- A benchmark library for constraints☆86Updated 3 months ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 3 years ago
- A suite of MiniZinc benchmarks.☆83Updated 4 years ago
- The MiniZinc IDE☆145Updated this week
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 2 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- MiniZinc documentation☆16Updated last year
- Python Combinatorial Optimisation Platform☆158Updated 3 years ago
- The Chuffed CP solver☆98Updated last month
- My public programs and models - mostly combinatorial problems and puzzles☆371Updated last month
- IPython / Jupyter notebook magic☆21Updated 6 years ago
- A C++ / Python platform to perform parallel computations of optimisation tasks (global and local) via the asynchronous generalized island…☆270Updated 4 years ago
- An open-source library for mathematical programming☆230Updated this week
- Slides and supporting material for each meetup☆24Updated 8 years ago
- The MiniZinc compiler☆529Updated this week
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆74Updated last year
- Generic Constraint Development Environment☆284Updated 6 months ago
- Assignments and Graders for Discrete Optimization on Coursera☆95Updated last year
- A (simple) performance evaluation of proportional selection using Python.☆11Updated 9 years ago
- Conjure: The Automated Constraint Modelling Tool☆102Updated last week
- The Design and Implementation of Probabilistic Programming Languages☆175Updated 9 months ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- Open-source framework for modeling Vehicle Routing Problems.☆315Updated 10 years ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- probabilistic programming for PL folks☆153Updated 3 years ago
- Lin-Kernighan Heuristic Implementation for TSP☆30Updated 10 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- ☆62Updated 10 years ago