The Nest
Explore
Sign in
tsmanner
cpp-gen
include
0
Code
Changes
Tags
Discussions
main
BZRjFpe4yWcELV5q9m5goQecQ5GyKG6yp24mWXjq2gpf
Added TODO.md file with some notes.
on July 20, 2024
cpp-gen
Factored Term and Minterm out of main.cpp, added Build2 external dependency on Catch2.
on July 15, 2024