informarte / yuckView external linksLinks
Yuck is a local-search constraint solver with FlatZinc interface
☆61Dec 23, 2025Updated last month
Alternatives and similar repositories for yuck
Users that are interested in yuck are comparing it to the libraries listed below
Sorting:
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- ☆32Feb 22, 2024Updated last year
- A constraint modelling and rewriting library and compiler framework written in rust☆29Jan 12, 2026Updated last month
- The Chuffed CP solver☆119Jan 6, 2026Updated last month
- Nutmeg – a MIP and CP branch-and-check solver☆31Jun 22, 2023Updated 2 years ago
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- A standalone local search solver for general mixed integer programming☆45Updated this week
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Jun 29, 2021Updated 4 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Feb 6, 2026Updated last week
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 12 years ago
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆75Jan 5, 2026Updated last month
- Scala API for jenetics☆27Dec 22, 2018Updated 7 years ago
- My unofficial picat http://picat-lang.org/ repository☆31Jan 11, 2024Updated 2 years ago
- Datalog implementation in Scala.☆12Jun 17, 2014Updated 11 years ago
- A Constraint Solver☆12Dec 4, 2015Updated 10 years ago
- XML String Interpolator for Dotty☆34Apr 16, 2024Updated last year
- Parallel Presolve for Integer and Linear Optimization☆84Jan 29, 2026Updated 2 weeks ago
- Elm Architecture for Scala.js☆11Jul 16, 2016Updated 9 years ago
- AI library developed in functional scala☆14Dec 28, 2015Updated 10 years ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- scalawiki is a MediaWiki client in Scala☆31Dec 30, 2025Updated last month
- ☆14Oct 9, 2019Updated 6 years ago
- Scala library for audio DSP :: io/ugens/filters/analysis :: real-time + offline☆15Jan 11, 2020Updated 6 years ago
- ☆18Jul 2, 2024Updated last year
- C as an Embedded Language in Scala☆18Dec 17, 2014Updated 11 years ago
- Java Constraint Programming solver☆232Updated this week
- Scala macro for composition of trait instances☆17Jul 12, 2017Updated 8 years ago
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆16Jan 2, 2022Updated 4 years ago
- Deliberately restricted pickling library for Scala☆15Oct 5, 2016Updated 9 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Feb 22, 2023Updated 2 years ago
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Apr 6, 2023Updated 2 years ago
- Customizable graph algorithms in Scala☆19Jun 21, 2024Updated last year
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- An effect system similar to mtl with explicit dictionary passing.☆17Oct 3, 2018Updated 7 years ago
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated last year
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆27Updated this week
- ConstraintSolver in Julia: Blog posts ->☆142Apr 30, 2022Updated 3 years ago
- A solver based on column generation☆40Dec 27, 2025Updated last month
- git mirror with some local fixes. currently not uptodate☆18Mar 10, 2023Updated 2 years ago