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 toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆138Updated 3 years ago
- A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…☆16Updated 4 years ago
- An optimizing compiler targeting armv7 and risc-v32☆61Updated 4 months ago
- ☆48Updated last year
- An unofficial reference implementation of the C Minus Minus Compiler☆58Updated 4 months ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆60Updated 2 years ago
- Labs for Computer Science: C, Assembly, Data Structure, CSAPP, HSI, MATLAB, Digital Logic, Verilog, Compilers, Operating Systems☆31Updated 5 months ago
- 国科大编译作业三：Point to 分析☆18Updated 3 years ago
- A compiler for cminus-f language. This is a project for 2020 Fall Compiler class in USTC☆15Updated 3 years ago
- 斯坦福2022春季编译原理实验☆20Updated 2 years ago
- A fast compiler for SysY code☆18Updated 2 years ago
- my big project PA for the course Introduction To Computer System in Nanjing University, building an operating system based on qemu called…☆13Updated 5 years ago
- Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.☆14Updated 4 years ago
- A generic parser and tool package for the BTOR2 format.☆41Updated last month
- ☆50Updated 4 years ago
- 华中科技大学计算机学院 Verilog 语言课程☆53Updated 4 years ago
- ☆34Updated 5 years ago
- 上海交通大学软件学院课程计算机系统基础（ICS）笔记☆14Updated 3 years ago
- A Simple CDCL Solver☆29Updated 2 years ago
- Problem Sets for Problem Solving Class☆14Updated 4 years ago
- Simple passes for CFG and DFG analysis☆43Updated 5 years ago
- 华中科技大学计算机科学与技术学院2017级汇编语言程序设计实验☆21Updated 5 years ago
- 国科大编译作业二：LLVM Pass处理函数调用☆18Updated 3 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
- Optimizing compiler for SysY (C subset)☆42Updated last year
- Split large FIRRTL into separated modules for incremental compilation.☆10Updated 3 years ago
- Recent papers related to hardware formal verification.☆70Updated last year
- The MiniDecaf test cases.☆17Updated 3 weeks ago
- ☆59Updated 4 years ago