non-clausal

Here is 1 public repository matching this topic...

A C++ utility for generate propositional non-clausal fórmulas, using iscas85 circuit specification

logic propositional-logic logic-gates iscas85 non-clausal

To associate your repository with the non-clausal topic, visit your repo's landing page and select "manage topics."