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
• chuffed / chuffed
  The Chuffed CP solver
  ☆105Updated 3 months ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆60Updated this week
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆105Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated last year
• csplib / csplib
  A benchmark library for constraints
  ☆94Updated 9 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆19Updated last week
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 2 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆163Updated 2 months ago
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆41Updated 3 weeks ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆309Updated 2 months ago
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆85Updated 4 years ago
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 4 months ago
• arminbiere / gimsatul
  ☆34Updated 2 weeks ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 4 months ago
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆26Updated 3 years ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆151Updated last month
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆149Updated 2 weeks ago
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆12Updated 6 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆47Updated 2 weeks ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 8 months ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated last month
• fadoss / maude-bindings
  Language bindings for Maude
  ☆23Updated 6 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆82Updated 2 weeks ago
• audemard / glucose
  The glucose SAT solver
  ☆116Updated last month
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆31Updated 3 months ago