A simple SAT solver based on the CDCL algorithm
☆19Sep 10, 2019Updated 6 years ago
Alternatives and similar repositories for SAT-Solver-CDCL
Users that are interested in SAT-Solver-CDCL are comparing it to the libraries listed below
Sorting:
- A simple SAT solver that implements the DPLL algorithm with unit resolution☆47Sep 10, 2019Updated 6 years ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- 2020级课程设计DPLL算法解决SAT问题☆12Nov 3, 2021Updated 4 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Apr 30, 2016Updated 9 years ago
- Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.☆14Apr 9, 2021Updated 4 years ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆20Jan 19, 2023Updated 3 years ago
- microsat☆140Jun 18, 2022Updated 3 years ago
- the awesome work, project and lab of EDA (Electronic Design Automation). continue update...☆26Aug 29, 2024Updated last year
- Recent papers related to hardware formal verification.☆76Sep 20, 2023Updated 2 years ago
- A Header-Only CDCL SAT Solver for Programming Contest☆73Jan 30, 2026Updated last month
- ☆10Oct 11, 2022Updated 3 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 2 years ago
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 7 months ago
- iEDA water-drop training initiative☆13Sep 10, 2024Updated last year
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated last week
- FlowLLM: Simplifying LLM-based HTTP/MCP Service Development☆32Feb 18, 2026Updated 2 weeks ago
- A dynamic library tweak for WeChat macOS - 首款微信 macOS 客户端撤回拦截与多开 🔨☆13Jan 26, 2025Updated last year
- ☆11Dec 1, 2023Updated 2 years ago
- MuJoCo model for Blue☆10Mar 13, 2020Updated 5 years ago
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Jul 17, 2025Updated 7 months ago
- Julia implementation of flash-attention operation for neural networks.☆11May 31, 2023Updated 2 years ago
- ☆10Nov 21, 2023Updated 2 years ago
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Jan 23, 2024Updated 2 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- ☆14Aug 5, 2022Updated 3 years ago
- Flow - Modern C++ toolkit for async loops, logs, config, benchmarking, and more [See also `ipc` repo]☆13Jan 23, 2026Updated last month
- Python 3 runtime libraries for ANTLR 4☆13Jun 7, 2015Updated 10 years ago
- Distributed SDDMM Kernel☆12Jul 8, 2022Updated 3 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- CAPD library☆16Jan 4, 2026Updated 2 months ago
- Stuff related to scraping the Code Review StackExchange☆12Jan 19, 2023Updated 3 years ago
- high availability ros master☆17Nov 1, 2019Updated 6 years ago
- Official developer documentation for OneBusAway☆13Feb 11, 2026Updated 3 weeks ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Updated this week
- modified Temporal Fusion Transformer to predict multiple cryptocurrency coin futures☆13Sep 17, 2020Updated 5 years ago
- Optimised multi-node MPI sorting algorithms in Julia☆10Sep 25, 2024Updated last year
- Easy and efficient 2D spin glass simulation for quantum annealing☆12May 17, 2024Updated last year