Alternatives and similar repositories for cosoco

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

• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year
• ehebrard / Mistral-2.0
  ☆32Updated last year
• nfzhou / lp-contest
  ☆11Updated last month
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆74Updated this week
• fontanf / localsearchsolver
  A solver based on local search
  ☆13Updated last week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last month
• csplib / csplib
  A benchmark library for constraints
  ☆97Updated 2 months ago
• minicp / minicp
  minicp
  ☆27Updated 8 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆181Updated last week
• moonbitlang / system-prompt
  System prompt of MoonBit language and toolchain
  ☆21Updated 2 weeks ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆313Updated 5 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆112Updated 2 months ago
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆16Updated 2 years ago
• richoux / GHOST
  General meta-Heuristic Optimization Solving Toolkit
  ☆38Updated 2 weeks ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆158Updated 2 weeks ago
• caterinaurban / Typpete
  ☆37Updated 6 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆127Updated this week
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆90Updated this week
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆51Updated this week
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆21Updated last year
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆25Updated this week
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆29Updated 2 years ago
• coin-or / SYMPHONY
  SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…
  ☆71Updated last month
• eprover / eprover
  ☆153Updated this week
• coin-or / Cgl
  Cut Generator Library
  ☆26Updated 2 weeks ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 months ago