72 packages returned for Tags:"logic"

The library is an easy to use component that implements fuzzy inference system (both, Mamdani and Sugeno methods supported).

Serilog sink for Sumo Logic

Shared library used by .NET log appenders uploading to Sumo Logic.

NLog appender which sends logs to the Sumo Logic machine data platform.

Log4Net appender which sends logs to the Sumo Logic machine data analytics platform.

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.

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.

RapidCore is a collection of dotnet libraries to help you accelerate backend and api development

A client library for KMD Logic Audit

A client library for KMD Logic Audit

Serilog sink which sends logs to the Sumo Logic machine data analytics platform.

BusinessLogic for an enterprise system

A client library for KMD Logic Consumption

A client library for KMD Logic Consumption

BusinessLogic for an enterprise system

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#.

A library to express fuzzy logic for .NET. Fuzzy set operations, fuzzification with linguistic variables and fuzzy inference currently supported.

Library which simplify the business logic processing

Library to run business logic when using Entity Framework Core for database accesses

QuickLearn's T-Rex Metadata Library provides attributes that can be used to decorate your API Apps' actions and models for Logic App consumption. Use this package for shared projects containing models.