sukrutrao / SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
☆43Updated 5 years ago
Related projects: ⓘ
- A simple SAT solver based on the CDCL algorithm☆16Updated 5 years ago
- ☆21Updated 4 years ago
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated last year
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆17Updated last month
- 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
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆54Updated last year
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆193Updated 2 years ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆136Updated 3 years ago
- 操作系统 2019 ucore labs☆46Updated 5 years ago
- tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).☆41Updated 2 years ago
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 2 years ago
- uCore Operating System Lab☆49Updated 7 years ago
- 2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品☆26Updated 2 years ago
- c compiler based on flex(lex), bison(yacc) and LLVM, supports LLVM IR and obj code generation. 基于flex，bison以及LLVM，使用c++11实现的类C语法编译器, 支持生成…☆239Updated 7 years ago
- ☆54Updated 3 years ago
- 南京大学山寨毕业论文模版☆121Updated 5 years ago
- A generic parser and tool package for the BTOR2 format.☆39Updated 2 weeks ago
- A Simple CDCL Solver☆23Updated last year
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 4 years ago
- Optimizing compiler for SysY (C subset)☆39Updated 5 months ago
- A repo to store the compiler project☆68Updated last year
- The MiniDecaf compilers.☆66Updated 3 years ago
- ☆9Updated 5 years ago
- Teaching and Learning Software Verification via SVF☆32Updated 3 weeks ago
- A compiler for cminus-f language. This is a project for 2020 Fall Compiler class in USTC☆13Updated 2 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆43Updated 2 weeks ago
- A PKU-lab aiming for a compiler to compile miniC source code to RISC-V executable☆17Updated 5 years ago
- ☆37Updated 8 months ago
- PA2018常见问题解答（持续更新，更新频率1-2天/次），欢迎star☆31Updated 6 years ago
- The MiniDecaf test cases.☆17Updated 8 months ago