80 packages returned for Tags:"logic-simulator"

The library is an easy to use component that implements fuzzy inference system (both, Mamdani and Sugeno methods supported).
  • 715 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#.
Obsolete. Use Simulated.FileSystem instead. I renamed it. This package provides a transactional view of a file system and an in-memory simulator for that view. This makes it easy to test code that interacts with the file system. This is not your typical files and directories API. There is a... More information
This package provides a transactional view of a file system and an in-memory simulator for that view. This makes it easy to test code that interacts with the file system. This is not your typical files and directories API. There is a single instance that represents the entire file system. File and... More information
  • 3,182 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.
PMKS returns quick and accurate results for the position, velocity, and acceleration of rigid bodies connected as planar mechanisms. This project is typically used with the aid of the web tool (PMKS_Web project which is a Silverlight project), or the forthcoming UWP application. It may also be... More information
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.
The Zim80 is a Z80 Simulator that not only allows you to simulate Z80 (assembly) code but also simulates the electrical connections on the Z80. The Zim80 library comes with common digital components such as gates and memory. The Zim80 is targted to be used inside a (unit) testing framework to verify... More information