Gecode / MPGLinks
Modeling and Programming with Gecode
☆46Updated 2 years ago
Alternatives and similar repositories for MPG
Users that are interested in MPG are comparing it to the libraries listed below
Sorting:
- The Chuffed CP solver☆105Updated 2 months ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- ☆34Updated 4 years ago
- A constraint solver purely on GPUs (CUDA)☆26Updated last month
- Sequential object-oriented simPlex☆67Updated last week
- Rigorous Global Branch-and-Bound Optimizer☆24Updated 6 months ago
- Code generation tool to generate mathematical libraries☆56Updated 3 months ago
- ☆10Updated 8 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- ☆32Updated last year
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Updated last week
- MiniZinc documentation☆16Updated 2 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 10 years ago
- C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.☆21Updated 2 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- VATA Tree Automata Library☆32Updated 10 months ago
- ☆19Updated 8 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 3 months ago
- A CP Portfolio Solver☆26Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- Recursive LAPACK Collection☆42Updated 3 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆27Updated last week
- Program Round-off Error Certifier via Static Analysis☆51Updated 9 months ago
- COIN-OR Utilities☆48Updated last month
- SRI LibPoly is a C library for manipulating polynomials☆51Updated last week