A simple SAT solver that implements the DPLL algorithm with unit resolution
☆47Sep 10, 2019Updated 6 years ago
Alternatives and similar repositories for SAT-Solver-DPLL
Users that are interested in SAT-Solver-DPLL are comparing it to the libraries listed below
Sorting:
- A simple SAT solver based on the CDCL algorithm☆19Sep 10, 2019Updated 6 years ago
- A basic SAT solver implementation for the Logics in Informatics course☆10Mar 8, 2015Updated 10 years ago
- iEDA water-drop training initiative☆13Sep 10, 2024Updated last year
- CDCL SAT-solver for GPUs☆12May 5, 2017Updated 8 years ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Aug 25, 2021Updated 4 years ago
- ☆23Jan 30, 2025Updated last year
- Another tutorial for writing a Forth interpreter in assembly☆19Oct 8, 2017Updated 8 years ago
- Generates CMakeLists.txt files from arbitrary C/C++ codebases☆25Jul 13, 2022Updated 3 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Feb 19, 2020Updated 6 years ago
- ☆24Mar 29, 2024Updated last year
- LLM Evaluation Benchmark on Hardware Formal Verification☆36Apr 3, 2025Updated 11 months ago
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- A design automation framework to engineer decision diagrams yourself☆26Feb 25, 2026Updated last week
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 2 years ago
- Fix syntax errors of LLM-generated RTL☆43May 23, 2024Updated last year
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- A step-by-step guide to setting up and running DeepSeek locally using Ollama, making it accessible via a browser as an offline chatbot.☆10Jan 30, 2025Updated last year
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 7 months ago
- Python bindings for libsrcml☆17Aug 25, 2025Updated 6 months ago
- ☆10Feb 9, 2024Updated 2 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 4 months ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- Hyper Model helps take Machine Learning to production☆10Feb 15, 2021Updated 5 years ago
- SaralGyaan PDF Parser- A command line parsing tool for PDFs☆10Jun 2, 2020Updated 5 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 4 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago