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
- small MiniZinc examples demonstrating various language features☆125Updated 7 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- A CP Portfolio Solver☆26Updated 2 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- Python Combinatorial Optimisation Platform☆159Updated 4 years ago
- A benchmark library for constraints☆91Updated 6 months ago
- The Design and Implementation of Probabilistic Programming Languages☆176Updated last year
- MiniZinc documentation☆16Updated 2 years ago
- Course materials for a Calculus MOOC☆73Updated 10 years ago
- Exact Inference Engine for Probabilistic Programs☆132Updated last month
- IPython / Jupyter notebook magic☆21Updated 6 years ago
- The MiniZinc IDE☆149Updated last month
- probabilistic programming for PL folks☆155Updated 3 years ago
- A topology textbook with a hubristic title☆30Updated 9 years ago
- ☆63Updated 10 years ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- The Chuffed CP solver☆104Updated last week
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- [Deprecated]: Exploration library☆16Updated last year
- A free and open source C++ library for Discrete Approximate Inference in graphical models☆54Updated 12 years ago
- Scikit learn inspired library for gpu-accelerated machine learning☆38Updated 2 years ago
- Generic Constraint Development Environment☆288Updated 9 months ago
- Python bindings to picosat (a SAT solver)☆188Updated last month
- VATA Tree Automata Library☆32Updated 8 months ago
- Mallet-compatible anchor-based topic model☆37Updated 11 years ago
- Python code implementing the MWUA algorithm and a Linear Program solver☆34Updated last year
- Drop-in replacement for Gurobi's gurobipy python interface that supports Python3.4 and is much more efficient☆27Updated 6 years ago
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Updated 2 years ago
- PyPlan is a set of modular Monte-Carlo planning libraries for Python.☆21Updated 9 years ago
- ☆65Updated 4 years ago