discreteoptimization / visualization
web based visualizations of discrete optimization assignments
☆27Updated 8 years ago
Alternatives and similar repositories for visualization
Users that are interested in visualization are comparing it to the libraries listed below
Sorting:
- small MiniZinc examples demonstrating various language features☆125Updated 7 years ago
- Open source solvers for the Discrete Optimization set cover assignment.☆108Updated 4 years ago
- Course materials for a Calculus MOOC☆73Updated 10 years ago
- A suite of MiniZinc benchmarks.☆85Updated 4 years ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- Scikit learn inspired library for gpu-accelerated machine learning☆38Updated 2 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- A flexible and efficient С++ template library for dimension reduction☆234Updated 11 months ago
- The CP solver Chuffed☆20Updated 8 years ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 4 years ago
- A benchmark library for constraints☆93Updated 7 months ago
- A CP Portfolio Solver☆26Updated 2 years ago
- Python Combinatorial Optimisation Platform☆159Updated 4 years ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆376Updated 4 months ago
- My Ph.D. thesis on Outlier Selection and One-Class Classification☆120Updated 2 years ago
- The Design and Implementation of Probabilistic Programming Languages☆177Updated last year
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- Source code and obtained results for "Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants"☆15Updated 7 years ago
- ☆154Updated 8 years ago
- The BLOG programming language☆98Updated 2 years ago
- Python code implementing the MWUA algorithm and a Linear Program solver☆34Updated last year
- Python bindings to picosat (a SAT solver)☆189Updated last month
- The code for the post "Optimism in the Face of Uncertainty: the UCB1 Algorithm"☆36Updated 4 years ago
- ☆63Updated 10 years ago
- A Haskell wrapper for xgboost☆23Updated 8 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆66Updated this week
- A relativistic solution to Einstein's equations and a ray tracer for that solution☆13Updated 9 years ago
- Turning Javascript into a probabilistic programming language☆58Updated 7 years ago
- data files for comparing optimal transport algorithms☆9Updated 5 years ago