sukrutrao / SAT-Solver-DPLL

Related projects ⓘ

Alternatives and complementary repositories for SAT-Solver-DPLL

• sukrutrao / SAT-Solver-CDCL
  A simple SAT solver based on the CDCL algorithm
  ☆18Updated 5 years ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆137Updated 3 years ago
• shaowei-cai-group / EasySAT
  A Simple CDCL Solver
  ☆26Updated last year
• nzh63 / syc
  Optimizing compiler for SysY (C subset)
  ☆39Updated 7 months ago
• Trinkle23897 / os2019
  操作系统 2019 ucore labs
  ☆46Updated 5 years ago
• Boolector / btor2tools
  A generic parser and tool package for the BTOR2 format.
  ☆40Updated 2 months ago
• ustb-owl / MimiC
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆55Updated last year
• saleh1204 / sis
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Updated 5 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆41Updated 4 years ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆26Updated 2 years ago
• FP-Analysis / atomic-condition
  ☆20Updated 5 years ago
• wierton / ncc-tools
  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
• shaowei-cai-group / z3pp
  ☆47Updated 7 months ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆66Updated 3 years ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆39Updated 2 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 2 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆46Updated 2 months ago
• zhenghaoz / ucore
  uCore Operating System Lab
  ☆48Updated 7 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆200Updated 2 years ago
• Anarion-zuo / Stanford-CS143
  ☆54Updated 4 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆36Updated 10 months ago
• guch8017 / CminusfCompiler
  A compiler for cminus-f language. This is a project for 2020 Fall Compiler class in USTC
  ☆15Updated 3 years ago
• YuantianDing / WangProver
  An Automatic Theorem Prover for L(X) in Wang's Book (数理逻辑 第2版 汪芳庭) in Scala.
  ☆12Updated 2 years ago
• Gy-Hu / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆60Updated last year
• chenyxuan / PintOS
  system 2019 project
  ☆13Updated 4 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆121Updated 5 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆242Updated 3 years ago
• shaowei-cai-group / ParKissat-RS
  Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
  ☆20Updated last year
• jiweixing / build-a-compiler-within-30-days
  ☆46Updated 2 years ago
• Z-Y00 / Examples-in-book-write-your-own-cpu
  《自己动手写CPU》一书附带的文件
  ☆74Updated 6 years ago