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 toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆138Updated 3 years ago
- Optimizing compiler for SysY (C subset)☆41Updated last year
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated 2 months ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 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
- 操作系统 2019 ucore labs☆46Updated 5 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆55Updated 2 months ago
- 龙芯杯21个人赛作品☆34Updated 3 years ago
- 2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品☆27Updated 2 years ago
- A Simple CPP Static Analysis Framework☆21Updated last year
- A compiler for cminus-f language. This is a project for 2020 Fall Compiler class in USTC☆15Updated 3 years ago
- 国科大编译作业三：Point to 分析☆18Updated 3 years ago
- A Simple CDCL Solver☆29Updated 2 years ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆60Updated 2 years ago
- 国科大编译作业：基于Clang的C语言解释执行器☆40Updated 3 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆205Updated last month
- 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 2 years ago
- A SysY Compiler for PKU Compiling Principles Practice Course (2021 Spring)☆8Updated 3 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆43Updated 4 years ago
- ☆34Updated 5 years ago
- BUAASE2019级的编译实验的实验指导与实验安排☆116Updated 2 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 4 years ago
- Recommended coding standard of Verilog and SystemVerilog.☆34Updated 3 years ago
- a Quad-issue, Out-of-order Superscalar MIPS Processor Implemented in SystemVerilog☆47Updated last year
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆25Updated 5 years ago
- A fast compiler for SysY code☆18Updated 2 years ago
- Documentation for YatCPU☆50Updated last year
- 该编译器主要用来将SysY语言编译为arm汇编指令，并且对编译生成的代码进行优化。SysY 语言是 C 语言的一个子集。每个 SysY程序的源码存储在一个扩展名为 sy 的文件中。该文件中有且仅有一个名为 main的主函数定义,还可以包含若干全局变量声明、常量声明和其他函数…☆67Updated 2 years ago
- 《Static Single Assignment Book》- 中文翻译☆26Updated last year