sgomber / CDCL-SATLinks
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
☆23Updated 5 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☆38Updated last year
- Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validati…☆32Updated last month
- alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)☆344Updated 3 weeks ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆13Updated 2 years ago
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆35Updated 5 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆96Updated 4 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆103Updated 5 years ago
- Pip compatible CodeBLEU metric implementation available for linux/macos/win☆130Updated 10 months ago
- White-box Fairness Testing through Adversarial Sampling☆13Updated 4 years ago
- CodeGuard+: Constrained Decoding for Secure Code Generation☆19Updated last year
- A Framework for Deep Neural Network Verification☆57Updated last year
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 5 years ago
- The released code of ReluVal in USENIX Security 2018☆60Updated 5 years ago
- ☆48Updated 3 years ago
- ☆311Updated 3 months ago
- ETH Robustness Analyzer for Deep Neural Networks☆343Updated 3 years ago
- Encoding different problems into Boolean satisfiability☆12Updated 3 years ago
- ☆49Updated last year
- Interview questions for Computer Science faculty jobs☆43Updated last year
- A Simple CDCL Solver☆35Updated 2 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Updated 2 years ago
- A framework to ease parallelization of sequential SAT solvers☆30Updated 3 weeks ago
- ☆25Updated 4 years ago
- ☆33Updated 3 weeks ago
- A toolkit for SAT-based prototyping in Python☆444Updated this week
- https://csstipendrankings.org☆220Updated this week
- ☆33Updated last year
- A certifier for bias in LLMs☆25Updated 9 months ago
- A collection of datasets for machine learning for big code☆62Updated 4 years ago