94 packages returned for Tags:"boolean-logic"

The library is an easy to use component that implements fuzzy inference system (both, Mamdani and Sugeno methods supported).
  • 725 total downloads
  • last updated 9/12/2015
  • Latest version: 1.0.0
  • logic
HOL Zero is a HOL theorem prover, i.e. a program supporting formal proof and theory development in the HOL logic. As the author points out, it is a relatively simple theorem prover and this also make it suitable to understand how theorem provers work. NHolZ is just a porting of HOL Zero in F#.
Gulliver is a C# utility package and library engineered for the manipulation of arbitrary sized byte arrays accounting for appropriate endianness and jagged byte length. Functionality includes the as previously unsupported standard set of boolean algebraic operations, bitwise shifting, and unsigned... More information
  • 3,518 total downloads
  • last updated 11/3/2017
  • Latest version: 0.5.1-alpha
  • fuzzy logic
A library to express fuzzy logic for .NET. Fuzzy set operations, fuzzification with linguistic variables and fuzzy inference currently supported.
  • 312 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.