discreteoptimization / visualization
web based visualizations of discrete optimization assignments
☆27Updated 7 years ago
Related projects: ⓘ
- Open source solvers for the Discrete Optimization set cover assignment.☆107Updated 3 years ago
- small MiniZinc examples demonstrating various language features☆119Updated 7 years ago
- A benchmark library for constraints☆81Updated last month
- ☆25Updated this week
- This is a mirror of the subversion repository on COIN-OR☆88Updated 5 years ago
- The CP solver Chuffed☆20Updated 7 years ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆63Updated 3 years ago
- Python Combinatorial Optimisation Platform☆157Updated 3 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 2 years ago
- A suite of MiniZinc benchmarks.☆82Updated 3 years ago
- Introduction to Operations Research☆93Updated 5 years ago
- Assignments and Graders for Discrete Optimization on Coursera☆94Updated last year
- A CP Portfolio Solver☆26Updated last year
- A graph library containing pure Python implementations of a variety of graph algorithms☆33Updated 3 years ago
- A Python interface to CLP, CBC, and CGL to solve LPs and MIPs.☆182Updated last month
- A linear and mixed-integer linear programming solver written in Javascript.☆78Updated 7 years ago
- IPython / Jupyter notebook magic☆21Updated 6 years ago
- The Stochastic Local Search SAT Solver from UBC☆29Updated 2 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆364Updated last month
- Scikit learn inspired library for gpu-accelerated machine learning☆38Updated last year
- The Chuffed CP solver☆89Updated 3 weeks ago
- The Design and Implementation of Probabilistic Programming Languages☆173Updated 4 months ago
- Python source code for Linear Programming and the Simplex Algorithm☆66Updated 4 years ago
- The MiniZinc IDE☆141Updated this week
- An open-source library for mathematical programming☆226Updated this week
- This a mirror of the subversion repository on COIN-OR.☆36Updated 5 years ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 11 years ago
- A series of tutorials for conducting computational experiments with optimization solvers☆88Updated 4 months ago
- Mathematical Modeling for Optimization and Machine Learning☆148Updated 3 weeks ago
- An interface to SAT solver tools (like minisat)☆58Updated last year