2 packages returned for Tags:"cnf"

Package type
Sort by
Options
  • 456 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.