Cake.DNF.Module by: achapman cake-contrib 8,372 total downloads last updated 6/27/2018 Latest version: 0.2.0-unstable0003 cake build ci dnf linux This Cake module adds support for the DNF package manager when installing tools in your Cake build scripts.
BoolExprNet by: Alethic 1,413 total downloads last updated 3/27/2021 Latest version: 1.0.9 boolean dnf cnf BoolExprNet is a .NET wrapper around the Boolexpr open source C++ library for symbolic Boolean algebra. Supports Windows and Linux in both x86 and x64.
Simbool by: philip.offtermatt 215 total downloads last updated 3/12/2020 Latest version: 0.1.0 Boolean Formulas Symbolic Manipulation Library DNF CNF NNF Package Description