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
  ☆31Updated 2 years ago
• nfzhou / lp-contest
  ☆11Updated 4 months ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• fontanf / localsearchsolver
  A solver based on local search
  ☆14Updated 3 months ago
• ehebrard / Mistral-2.0
  ☆32Updated last year
• chuffed / chuffed
  The Chuffed CP solver
  ☆119Updated last month
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆135Updated last week
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆96Updated last week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• thautwarm / frontend-for-free
  end the parsing problem
  ☆40Updated 3 years ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆166Updated this week
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆81Updated this week
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆25Updated 6 months ago
• alviano / asp-chef
  ☆12Updated last week
• Gecode / gecode
  Generic Constraint Development Environment
  ☆319Updated 2 weeks ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆51Updated 3 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 3 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• moonbitlang / python.mbt
  Manipulate Python Objects in Moonbit!
  ☆29Updated last month
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆34Updated last week
• stan-dev / stanc3
  The Stan transpiler (from Stan to C++ and beyond).
  ☆150Updated last week
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆18Updated 7 years ago
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆18Updated 2 years ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆15Updated 3 years ago
• coin-or / Cgl
  Cut Generator Library
  ☆25Updated 2 weeks ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago