sgomber / CDCL-SATLinks
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
☆22Updated 4 years ago
Alternatives and similar repositories for CDCL-SAT
Users that are interested in CDCL-SAT are comparing it to the libraries listed below
Sorting:
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆37Updated last year
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆12Updated 2 years ago
- A Simple CDCL Solver☆35Updated 2 years ago
- A toolkit for SAT-based prototyping in Python☆441Updated last month
- Training language models to make programs faster☆97Updated last year
- A high-efficiency hybrid solving CEC algorithm☆14Updated 2 years ago
- Bit-bLAsting solving Non-linear integer constraints.☆22Updated 5 months ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated 2 years ago
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆33Updated 3 months ago
- ☆22Updated 10 months ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 5 years ago
- Encoding different problems into Boolean satisfiability☆12Updated 3 years ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆49Updated 11 months ago
- White-box Fairness Testing through Adversarial Sampling☆13Updated 4 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆93Updated 3 years ago
- ☆41Updated last year
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆138Updated last week
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆212Updated this week
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆98Updated 6 months ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Updated 5 years ago
- ☆50Updated last year
- A framework to ease parallelization of sequential SAT solvers☆26Updated 7 months ago
- Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validati…☆32Updated 4 months ago
- Simple SAT solver with CDCL implemented in Python☆19Updated 2 years ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆31Updated 6 years ago
- ☆305Updated last month
- ☆47Updated 3 years ago
- alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)☆331Updated last week
- ☆55Updated last year