Alternatives and similar repositories for turbo

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

• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆60Updated 10 months ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆105Updated last month
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated last month
• harp-lab / gdlog
  ☆82Updated 7 months ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 6 years ago
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆82Updated 2 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 3 years ago
• opencompl / egg-tactic-code
  ☆16Updated last year
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆41Updated this week
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆105Updated last week
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆113Updated 2 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• ehebrard / Mistral-2.0
  ☆32Updated last year
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆29Updated 2 months ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆23Updated 5 months ago
• unison-code / unison
  Unison's source code
  ☆107Updated last year
• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆13Updated 4 years ago
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆26Updated 3 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• mangpo / greenthumb
  ☆88Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• David-Durst / embeddedHaskellAetherling
  ☆26Updated 2 years ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 3 months ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆70Updated last week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago