A C++ utility for generate propositional non-clausal fórmulas, using iscas85 circuit specification
-
Updated
Sep 1, 2023 - C++
A C++ utility for generate propositional non-clausal fórmulas, using iscas85 circuit specification
Add a description, image, and links to the iscas85 topic page so that developers can more easily learn about it.
To associate your repository with the iscas85 topic, visit your repo's landing page and select "manage topics."