一种微型的可生成SAT的校对求解器。这个项目的目标是帮助我学习OCaml和修改算法以生成其结果的证明证书的过程。
A tiny proof producing SAT solver. The goal of this project is to help me learn OCaml and the process of modifying an algorithm to produce a proof certificate of its results. (2024-03-01, OCaml, 0KB, 下载0次)
Lustre程序的并行版本k归纳模型检查器,
A parallel version k-induction model checker for Lustre programs, (2016-05-18, OCaml, 0KB, 下载0次)
用于声音发生器和处理器的编译器。
A compiler for sound generators and processors. (2022-04-25, OCaml, 100KB, 下载0次)