Project for Formal Systems ... for a simple Boolean circuit simulator written in C. This includes a small test program that demonstrates the use of the simulator API to setup a circuit and test it on ...