3 packages returned for Tags:"dnf"

Package type
Sort by
Options
  • 1,442 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.