Alternatives and similar repositories for neuro-cadical

Users that are interested in neuro-cadical are comparing it to the libraries listed below

• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated 2 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆24Updated 2 years ago
• dselsam / lean-gym
  ☆12Updated 2 years ago
• hadarshavit / revisiting_satzilla
  SATZilla SAT feature extraction tool
  ☆10Updated 11 months ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 2 years ago
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated last year
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆27Updated 2 months ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆39Updated 2 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated 2 months ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆15Updated 2 years ago
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Updated 4 years ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆49Updated 5 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated last year
• agurfinkel / spacer-on-jupyter
  ☆17Updated 2 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• arminbiere / runlim
  ☆16Updated 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
• johannaSommer / generalization-neural-co-solvers
  Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"
  ☆14Updated 2 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• jar-ben / mustool
  ☆15Updated 2 years ago
• JohnLyu2 / z3alpha
  Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…
  ☆17Updated this week
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated 2 years ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 7 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated last month
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆23Updated 3 years ago