2 packages returned for Tags:"CNF"

  • 445 total downloads
  • last updated 9/5/2018
  • Latest version: 0.1.0-unstable0033
  • boolean dnf cnf
.NET wrapper around the BoolExpr C++ library for symbolic Boolean algebra developed by Chris Drake of PyEDA.