informarte / yuckLinks
Yuck is a local-search constraint solver with FlatZinc interface
☆60Updated 10 months ago
Alternatives and similar repositories for yuck
Users that are interested in yuck are comparing it to the libraries listed below
Sorting:
- Constraint Solver ACE☆30Updated 3 weeks ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- A benchmark library for constraints☆94Updated 7 months ago
- ☆32Updated last year
- The Chuffed CP solver☆104Updated last month
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 6 months ago
- A suite of MiniZinc benchmarks.☆85Updated 4 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆26Updated last year
- A constraint modelling and rewriting library and compiler framework written in rust☆23Updated 2 weeks ago
- A collection of problem specifications in Essence.☆10Updated last month
- Modeling and Programming with Gecode☆45Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated 3 months ago
- Sequential object-oriented simPlex☆64Updated last month
- The CP solver Chuffed☆20Updated 8 years ago
- ☆17Updated 2 years ago
- A CP Portfolio Solver☆26Updated 2 years ago
- A constraint solver purely on GPUs (CUDA)☆26Updated 2 weeks ago
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated last week
- Linear programming in Java☆54Updated last year
- Java Constraint Programming solver☆224Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Examples and Models.☆18Updated 4 years ago
- minicp☆21Updated 4 months ago
- Online BDD Simulation Tool☆18Updated 3 years ago
- Differentiable probabilistic answer set programming☆22Updated 6 months ago
- Java Operations Research Library☆69Updated 5 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- GAPT: General Architecture for Proof Theory☆100Updated last week
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆81Updated 3 months ago
- A Python Library for modeling combinatorial constrained problems☆68Updated last week