jesse-michael-han / neuro-cadical
CaDiCaL + neural glue variable predictions
☆10Updated 4 years ago
Alternatives and similar repositories for neuro-cadical:
Users that are interested in neuro-cadical are comparing it to the libraries listed below
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- PyTorch implementation of NeuroSAT☆28Updated last year
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆22Updated last year
- G2SAT: Learning to Generate SAT Formulas☆50Updated 4 years ago
- Clover: Closed-Loop Verifiable Code Generation☆31Updated 10 months ago
- Experimentation framework for Popper☆22Updated 11 months ago
- Learning local search heuristics for Boolean satisfiability☆37Updated 10 months ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Updated 3 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 11 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated last week
- A Python API for the MiniSat and MiniCard constraint solvers.☆20Updated last year
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 2 months ago
- CAV'22 paper to speed up Neural Network Verification.☆14Updated 2 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 2 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆15Updated last year
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆37Updated 4 years ago
- Python package for Sentential Decision Diagrams (SDD)☆56Updated last month
- ☆12Updated 2 years ago
- ☆17Updated last year
- A "code intepreter" for Lean☆19Updated 3 weeks ago
- ☆11Updated 3 years ago
- Python version of tools to work with AIG formatted files☆10Updated 10 months ago
- The Stochastic Local Search SAT Solver from UBC☆29Updated 2 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Updated 2 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆23Updated 2 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago
- ☆43Updated last year