210 packages returned for Tags:"business-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#.
  • 181,545 total downloads
  • last updated 7/31/2019
  • Latest version: 4.11.2
  • CSLA Business Core
Supports the creation of Class Library projects containing business domain classes, Windows Services, Console applications and other native Windows application models. CSLA .NET is an application development framework that reduces the cost of building and maintaining applications. The framework... More information
NRules is an open source rules engine for .NET that is based on the Rete matching algorithm. NRules is an inference engine that, among other features, supports forward chaining, negative, existential and universal quantifiers. Rules are authored in C# using internal DSL.