informarte / yuck
Yuck is a local-search constraint solver with FlatZinc interface
☆57Updated 8 months ago
Alternatives and similar repositories for yuck:
Users that are interested in yuck are comparing it to the libraries listed below
- The Chuffed CP solver☆103Updated this week
- A suite of MiniZinc benchmarks.☆84Updated 4 years ago
- ☆31Updated last year
- A CP Portfolio Solver☆26Updated last year
- Constraint Solver ACE☆29Updated this week
- Nutmeg – a MIP and CP branch-and-check solver☆24Updated last year
- Access to all MiniZinc functionality directly from Python☆157Updated last month
- Java Operations Research Library☆66Updated 3 months ago
- minicp☆20Updated last month
- A benchmark library for constraints☆89Updated 5 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 8 months ago
- The CP solver Chuffed☆20Updated 8 years ago
- Linear programming in Java☆55Updated last year
- Conjure: The Automated Constraint Modelling Tool☆103Updated this week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆251Updated last week
- A Python Library for modeling combinatorial constrained problems☆66Updated last week
- A curated list of awesome OR-Tools community resources.☆166Updated 5 months ago
- Java Constraint Programming solver☆222Updated last year
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 3 years ago
- MiniZinc documentation☆16Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated last month
- The MiniZinc IDE☆148Updated 3 weeks ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- A standalone local search solver for general mixed integer programming☆21Updated 3 weeks ago
- N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarray / PyTorch Tensor but type-safe over shapes, array/axis…☆47Updated 2 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆10Updated 3 years ago
- A standalone local search solver for general integer linear programming☆16Updated 8 months ago
- A solver based on local search☆11Updated 2 weeks ago
- DDO a generic and efficient framework for MDD-based optimization.☆61Updated last month
- Sequential object-oriented simPlex☆63Updated last week