Alternatives and similar repositories for turbo:

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

• ehebrard / Mistral-2.0
  ☆32Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆104Updated 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
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated this week
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 3 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated 3 weeks ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆59Updated 9 months ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last month
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆11Updated 4 months ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 6 years ago
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆33Updated last week
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆22Updated 2 years ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆141Updated 6 months ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• harp-lab / gdlog
  ☆81Updated 6 months ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆29Updated 4 months ago
• kovach / etch
  ☆17Updated 10 months ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated last month