Alternatives and similar repositories for yuck:

Users that are interested in yuck are comparing it to the libraries listed below

• xcsp3team / ACE
  Constraint Solver ACE
  ☆30Updated 3 weeks ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated 3 weeks ago
• csplib / csplib
  A benchmark library for constraints
  ☆92Updated 7 months ago
• ehebrard / Mistral-2.0
  ☆32Updated last year
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆85Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆67Updated 2 weeks ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated 2 years ago
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆26Updated last year
• minicp / minicp
  minicp
  ☆21Updated 3 months ago
• ptal / turbo
  A constraint solver purely on GPUs (CUDA)
  ☆25Updated this week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆98Updated last month
• QuMuLab / dsharp
  ☆17Updated 2 years ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆160Updated last week
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆64Updated 3 weeks ago
• PoslavskySV / rings
  Rings: efficient JVM library for polynomial rings
  ☆74Updated last year
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆149Updated this week
• coin-or / GrUMPy
  A Python library for visualizing algorithms for solving mathematical optimization problems.
  ☆64Updated 4 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• xcsp3team / cosoco
  COmpact SOlver for COnstrained problems
  ☆12Updated this week
• or-tools / awesome_or-tools
  A curated list of awesome OR-Tools community resources.
  ☆168Updated 6 months ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆104Updated last week
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 2 months ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated last month
• shaowei-cai-group / Local-ILP
  A standalone local search solver for general integer linear programming
  ☆16Updated 10 months ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆26Updated 3 years ago