Alternatives and similar repositories for turbo

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

• chuffed / chuffed
  The Chuffed CP solver
  ☆111Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• ehebrard / Mistral-2.0
  ☆32Updated last year
• suyjuris / obst
  Online BDD Simulation Tool
  ☆21Updated 2 months ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆312Updated 4 months ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆61Updated 2 months ago
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆26Updated 3 years ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆178Updated 3 weeks ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆106Updated 2 weeks ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆71Updated this week
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆156Updated last week
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆300Updated this week
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆74Updated last week
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 5 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 3 months ago
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆86Updated 4 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆50Updated 3 months ago
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated 3 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 11 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆97Updated 2 months ago
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆128Updated last week
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 3 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated this week
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆63Updated 7 months ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• harp-lab / gdlog
  ☆83Updated 11 months ago
• firetto / Walnut
  ☆11Updated last year