philip.offtermatt Simbool by: philip.offtermatt .NET Standard 2.0 500 total downloads last updated 3/12/2020 Latest version: 0.1.0 Boolean Formulas Symbolic Manipulation Library DNF CNF NNF Package Description