Alternatives and similar repositories for turbo:

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

• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆102Updated last week
• 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…
  ☆36Updated 10 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆79Updated 4 months ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆139Updated 3 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 2 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆98Updated last month
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆65Updated this week
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• David-Durst / aetherling
  Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python
  ☆12Updated 3 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆27Updated 7 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 3 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• audemard / glucose
  The glucose SAT solver
  ☆89Updated 2 months ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated last year
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆84Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated last week
• opencompl / egg-tactic-code
  ☆14Updated last year
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆98Updated last week
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 3 months ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 6 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆49Updated last month