Alternatives and similar repositories for SAT-Solver

Users that are interested in SAT-Solver are comparing it to the libraries listed below

• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆17Updated 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
• shi27feng / transformers.satisfy
  propositional satisfiability problem (SAT) goes neural and deep
  ☆13Updated 3 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 8 months ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆27Updated last month
• fmozafari / angel
  C++ Library for Quantum State Preparation (QSP)
  ☆12Updated 2 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 3 years ago
• locuslab / ase
  Analogous Safe-state Exploration (ASE) is an algorithm for provably safe and optimal exploration in MDPs with unknown, stochastic dynamic…
  ☆11Updated 4 years ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆15Updated last year
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• probsys / optimal-approximate-sampling
  Optimal approximate sampling from discrete probability distributions
  ☆17Updated 4 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 2 months ago
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆28Updated 2 years ago
• mgudemann / iimc
  ☆12Updated 7 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆24Updated 2 years ago
• Timeroot / CLQO
  Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …
  ☆15Updated 2 years ago
• vardigroup / TensorOrder
  A tool for weighted model counting through tensor network contraction
  ☆21Updated 3 years ago
• Kapilhk / SatPie
  SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…
  ☆20Updated 4 years ago
• SparseLinearAlgebra / spbla
  Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
  ☆15Updated 2 years ago
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆28Updated 7 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 2 months ago
• ChezJrk / verified-scheduling
  ☆40Updated last year
• zhisbug / ray-scalable-ml-design
  Some microbenchmarks and design docs before commencement
  ☆12Updated 4 years ago
• davinwang / C2TutorialsGo
  This is a tutorial written for Caffe2 which mocks google AlphaGo Fan and AlphaGo Zero.
  ☆8Updated 6 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 7 months ago
• SparseLinearAlgebra / cuBool
  Sparse linear Boolean algebra for Nvidia Cuda
  ☆24Updated last week