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
  ☆108Updated 3 weeks ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆105Updated this week
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• ehebrard / Mistral-2.0
  ☆32Updated last year
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 10 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆50Updated 2 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆36Updated 2 years ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 3 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆20Updated last month
• csplib / csplib
  A benchmark library for constraints
  ☆96Updated last month
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆63Updated 6 months ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆61Updated last month
• Gecode / gecode
  Generic Constraint Development Environment
  ☆311Updated 3 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆23Updated 8 months ago
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆38Updated 10 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆103Updated last year
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆126Updated this week
• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆13Updated 4 years ago
• harp-lab / gdlog
  ☆83Updated 10 months ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆14Updated 8 months ago
• eprover / eprover
  ☆152Updated this week
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 5 months ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆33Updated 5 months ago