sukrutrao / SAT-Solver-DPLLLinks
A simple SAT solver that implements the DPLL algorithm with unit resolution
☆45Updated 5 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☆19Updated 5 years ago
- A Simple CDCL Solver☆29Updated 2 years ago
- ☆48Updated last year
- A generic parser and tool package for the BTOR2 format.☆41Updated last month
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆29Updated 5 years ago
- An advanced circuit-based sat solver☆24Updated 4 months ago
- 2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品☆27Updated 2 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆24Updated 2 years ago
- Hardware Formal Verification Tool☆56Updated this week
- 国科大编译作业三：Point to 分析☆18Updated 3 years ago
- Solutions to exercises of Modern Compiler Implementation in C book☆36Updated 5 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Recent papers related to hardware formal verification.☆70Updated last year
- A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…☆16Updated 5 years ago
- 国科大编译作业二：LLVM Pass处理函数调用☆18Updated 3 years ago
- A high-efficiency hybrid solving CEC algorithm☆12Updated 2 years ago
- Split large FIRRTL into separated modules for incremental compilation.☆10Updated 3 years ago
- Reads a state transition system and performs property checking☆83Updated 4 months ago
- Optimizing compiler for SysY (C subset)☆42Updated last year
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具：function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Updated 5 years ago
- A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…☆103Updated 3 years ago
- 华中科技大学计算机学院 Verilog 语言课程☆53Updated 4 years ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆42Updated 5 years ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆17Updated last year
- Simple passes for CFG and DFG analysis☆43Updated 5 years ago
- An optimizing compiler targeting armv7 and risc-v32☆61Updated 4 months ago
- 6.823 Advanced Computer Architecture Lab☆13Updated 8 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Updated 9 months ago
- ☆38Updated last year
- 第一届 RISC-V 中国峰会的幻灯片等资料存放☆37Updated 2 years ago