Alternatives and similar repositories for slime-sat-solver:

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

• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆51Updated 3 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 3 weeks ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆48Updated 4 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• maxtuno / PEQNP
  PEQNP Mathematical Solver
  ☆13Updated 3 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆62Updated this week
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆28Updated last week
• ths-rwth / smtrat
  ☆52Updated 3 weeks ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆46Updated 3 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 3 years ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆33Updated last year
• trishullab / cflobdd
  ☆11Updated 9 months ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• martinjonas / Q3B
  ☆27Updated this week
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 11 months ago
• riswords / quiche
  ☆21Updated 2 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated this week
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆32Updated last week
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆11Updated 3 years ago
• icra-team / icra
  ICRA: a static analyzer based on interprocedural compositional recurrence analysis
  ☆11Updated 5 years ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 4 years ago
• GaloisInc / reopt-vcg
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆15Updated 3 years ago
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆17Updated last year
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• hgarrereyn / SBVA
  Structured BVA
  ☆33Updated 11 months ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆100Updated last year