697 packages returned for Tags:"domain-logic"

The library is an easy to use component that implements fuzzy inference system (both, Mamdani and Sugeno methods supported).
  • 713 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#.
  • 17,429 total downloads
  • last updated 11/25/2014
  • Latest version: 2.0.0.971
  • Domain
Provides domain models and supporting types.
  • 3,153 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.
  • 4,767 total downloads
  • last updated 12/7/2016
  • Latest version: 2.0.0-alpha2
  • Domain
Biblioteca base para a camada Domain. Esta é uma biblioteca utilizada em todos os projetos Tolitech, inclusive os gerados pela ferramenta Code Generator. Mais informações em http://www.codegenerator.com.br/
  • 1,014 total downloads
  • last updated 12/16/2015
  • Latest version: 1.0.1
  • Domain
Base domain object and IRepository interface
  • 1,366 total downloads
  • last updated 11/25/2014
  • Latest version: 2.0.0.970
  • Domain
Provides a wrapper around the standard FTP types.
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.