Alternatives and similar repositories for slime-sat-solver

Users that are interested in slime-sat-solver are comparing it to the libraries listed below

• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆82Updated this week
• unison-code / unison
  Unison's source code
  ☆109Updated last year
• hgarrereyn / SBVA
  Structured BVA
  ☆42Updated last year
• JohnLyu2 / z3alpha
  Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…
  ☆22Updated last week
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆49Updated 2 weeks ago
• meelgroup / arjun
  CNF minimizer and minimal independent set minimizer
  ☆22Updated last month
• martinjonas / Q3B
  ☆30Updated 2 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆52Updated 4 years ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 10 months ago
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• SRI-CSL / libpoly
  SRI LibPoly is a C library for manipulating polynomials
  ☆52Updated 2 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆77Updated 5 months ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 2 weeks ago
• ths-rwth / smtrat
  ☆58Updated last week
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆78Updated this week
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆53Updated 5 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• phate / jlm
  A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
  ☆72Updated this week
• GaloisInc / reopt-vcg
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆20Updated 4 years ago
• smowton / llpe
  ☆55Updated last year
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• meelgroup / ganak
  High-performance model counter
  ☆50Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• marijnheule / microsat
  microsat
  ☆138Updated 3 years ago