Alternatives and similar repositories for neurosat:

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

• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆44Updated 5 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated last year
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Updated 4 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆78Updated last year
• myxxxsquared / NLocalSAT
  NLocalSAT; Boosting Local Search with Solution Prediction
  ☆18Updated last year
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆64Updated 10 months ago
• locuslab / SATNet
  Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
  ☆410Updated 2 years ago
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆31Updated this week
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆20Updated last year
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆423Updated this week
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆100Updated last year
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆50Updated 4 years ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated 10 months ago
• arminbiere / kissat
  ☆518Updated last week
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆91Updated 4 years ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆74Updated last week
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆193Updated this week
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆414Updated last week
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated 10 months ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated 2 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆113Updated 2 years ago
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆26Updated 3 years ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆33Updated last year
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆86Updated 9 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 8 months ago
• microsoft / PDP-Solver
  PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers
  ☆40Updated last year
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆160Updated 9 months ago
• Udopia / gbd
  Management of Benchmark Instances and Instance Attributes
  ☆19Updated 5 months ago
• audemard / glucose
  The glucose SAT solver
  ☆96Updated 4 months ago
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,057Updated 10 months ago