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 4 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆27Updated last year
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆19Updated last year
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆53Updated 4 years ago
• locuslab / SATNet
  Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
  ☆409Updated 2 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆99Updated 10 months ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆48Updated 4 years ago
• 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.
  ☆63Updated 8 months ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆404Updated last week
• arminbiere / kissat
  ☆486Updated 4 months ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆56Updated 2 years ago
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated 8 months ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆35Updated 8 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆70Updated 5 months ago
• arminbiere / satch
  SAT Solver SATCH
  ☆113Updated 2 years ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆398Updated this week
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆84Updated 7 months ago
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆28Updated 9 months ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆389Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆74Updated last year
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• microsoft / PDP-Solver
  PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers
  ☆40Updated last year
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆580Updated 5 months ago
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆20Updated 6 months ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆32Updated last year
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆23Updated 3 years ago
• meelgroup / manthan
  Manthan for Boolean function synthesis
  ☆29Updated last year