74 packages returned for Tags:"Logic"

The library is an easy to use component that implements fuzzy inference system (both, Mamdani and Sugeno methods supported).
Contains Fuzzy logic tools, such as fuzzy sets, linguistic variables and inference systems. This package originated from the AForge.NET Framework and is part of the Accord.NET Framework.
TRex by: nihaue
QuickLearn's T-Rex Metadata Library provides attributes that can be used to decorate your API Apps' actions and models for easy consumption by the Logic Apps designer. Use this package for your API App projects.
  • 4,611 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.
  • 791 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#.
mXparser is a super easy, rich, fast and highly flexible math expression parser library (parser and evaluator of mathematical expressions / formulas provided as plain text / string). Software delivers easy to use API for JAVA, Android and C# .NET/MONO (Common Language Specification compliant: F#,... More information