1 package returned for Tags:"cnf"

  • 259 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.