Alternatives and similar repositories for slime-sat-solver

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

• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• hgarrereyn / SBVA
  Structured BVA
  ☆37Updated last year
• maxtuno / PEQNP
  PEQNP Mathematical Solver
  ☆13Updated 3 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 3 years ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 3 years ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆35Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• meelgroup / arjun
  CNF minimizer and minimal independent set minimizer
  ☆19Updated last week
• abenkhadra / gosat
  SMT solver for the theory of floating-point arithmetic
  ☆26Updated 7 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆27Updated last month
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 3 months ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆61Updated 7 months ago
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 2 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆102Updated last year
• jezberg / loandra
  The anytime MaxSAT solver Loandra
  ☆17Updated 3 weeks ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 7 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆31Updated 3 months ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• msoos / cnf-utils
  Dimacs CNF utilities
  ☆21Updated 4 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆105Updated 2 months ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 weeks ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 9 months ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆73Updated 2 months ago
• maxtuno / SLIME
  SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Compe…
  ☆6Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• marijnheule / microsat
  microsat
  ☆136Updated 3 years ago
• arminbiere / runlim
  ☆16Updated last year