informarte / yuckLinks
Yuck is a local-search constraint solver with FlatZinc interface
☆61Updated 2 months ago
Alternatives and similar repositories for yuck
Users that are interested in yuck are comparing it to the libraries listed below
Sorting:
- The Chuffed CP solver☆110Updated last month
- A suite of MiniZinc benchmarks.☆86Updated 4 years ago
- ☆32Updated last year
- Constraint Solver ACE☆33Updated last week
- A benchmark library for constraints☆97Updated last month
- Rings: efficient JVM library for polynomial rings☆76Updated last year
- Java Constraint Programming solver☆229Updated last year
- minicp☆27Updated 7 months ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Updated 9 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- Linear programming in Java☆56Updated last year
- An open-source Java library for Constraint Programming☆730Updated this week
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated 2 months ago
- A curated list of awesome OR-Tools community resources.☆177Updated 11 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆388Updated last month
- Java Operations Research Library☆70Updated 9 months ago
- Generic Constraint Development Environment☆312Updated 4 months ago
- A CP Portfolio Solver☆26Updated 2 years ago
- A collection of problem specifications in Essence.☆10Updated 4 months ago
- Access to all MiniZinc functionality directly from Python☆177Updated this week
- Proving Ground: Tools for Automated Mathematics☆204Updated 4 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆27Updated 2 years ago
- A constraint solver purely on GPUs (CUDA)☆29Updated last month
- GAPT: General Architecture for Proof Theory☆103Updated last week
- Functional Reinforcement Learning in Scala.☆26Updated 5 months ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆291Updated this week
- prototyping logic programming in Scala☆41Updated 3 years ago
- Modeling and Programming with Gecode☆50Updated 2 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated 2 months ago
- Parallel Presolve for Integer and Linear Optimization☆40Updated 4 years ago