sukrutrao / SAT-Solver-DPLL
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
- A simple SAT solver based on the CDCL algorithm☆19Updated 5 years ago
- A Simple CDCL Solver☆29Updated 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
- A generic parser and tool package for the BTOR2 format.☆41Updated this week
- Recent papers related to hardware formal verification.☆70Updated last year
- Split large FIRRTL into separated modules for incremental compilation.☆10Updated 3 years ago
- 华中科技大学计算机学院 Verilog 语言课程☆54Updated 4 years ago
- 2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品☆27Updated 2 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆58Updated 3 months ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆138Updated 3 years ago
- An advanced circuit-based sat solver☆21Updated 2 months ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆25Updated 5 years ago
- Labs for Computer Science: C, Assembly, Data Structure, CSAPP, HSI, MATLAB, Digital Logic, Verilog, Compilers, Operating Systems☆31Updated 5 months ago
- ☆48Updated last year
- 国科大编译作业：基于Clang的C语言解释执行器☆40Updated 3 years ago
- AMulet 2. - A better AIG Multiplier Examination Tool☆25Updated 2 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Logic Synthesis System from UC Berkeley (Unofficial Distribution)☆15Updated 5 years ago
- 国科大编译作业二：LLVM Pass处理函数调用☆18Updated 3 years ago
- ☆34Updated 5 years ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆60Updated 2 years ago
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated 3 months ago
- Uranus MIPS processor by MaxXing & USTB NSCSCC team☆38Updated 5 years ago
- Reads a state transition system and performs property checking☆79Updated 2 months ago
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 3 years ago
- PA2018常见问题解答（持续更新，更新频率1-2天/次），欢迎star☆31Updated 6 years ago
- A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…☆15Updated 4 years ago
- Bit-bLAsting solving Non-linear integer constraints.☆21Updated 9 months ago
- Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.☆14Updated 4 years ago
- Hardware Formal Verification Tool☆48Updated this week