Logic Formula Toolkit and Benchmark Suite
Propositional logic tools in Python and optimized C++ evaluation benchmarks.
March 2026
Course Project, Discrete Mathematics. Primary Developer.
-
Served as the primary developer of a Python toolkit for propositional formula parsing, truth-table generation, postfix evaluation, and canonical normal forms.
-
Implemented and benchmarked multiple C++ evaluation methods, including OpenMP and SIMD-optimized variants; designed the benchmark pipeline and performance experiments.