discreteoptimization / visualization
web based visualizations of discrete optimization assignments
☆27Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for visualization
- small MiniZinc examples demonstrating various language features☆123Updated 7 years ago
- Open source solvers for the Discrete Optimization set cover assignment.☆107Updated 3 years ago
- A suite of MiniZinc benchmarks.☆82Updated 4 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- A CP Portfolio Solver☆26Updated last year
- A benchmark library for constraints☆85Updated last month
- This is a mirror of the subversion repository on COIN-OR☆86Updated 5 years ago
- Slides and supporting material for each meetup☆24Updated 8 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 2 years ago
- The website for the MiniZinc constraint modelling system☆15Updated 2 weeks ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- Python Combinatorial Optimisation Platform☆157Updated 3 years ago
- The MiniZinc IDE☆144Updated this week
- Assignments and Graders for Discrete Optimization on Coursera☆95Updated last year
- This a mirror of the subversion repository on COIN-OR.☆36Updated 5 years ago
- The Design and Implementation of Probabilistic Programming Languages☆175Updated 7 months ago
- Conjure: The Automated Constraint Modelling Tool☆96Updated this week
- Sources for algorithm selection for combinatorial search problems survey☆17Updated 5 years ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 3 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆107Updated last year
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- ☆66Updated 8 months ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- The Chuffed CP solver☆92Updated last week
- The BLOG programming language☆98Updated last year
- Accuracy-based Learning Classifier Systems (XCS)☆48Updated 7 months ago
- Neural Network in MySQL☆61Updated 8 years ago