ancailliau
- 2,682 total downloads
- last updated 1/13/2019
- Latest version: 0.1.6
BDDSharp is a C# library for manipulating roBDDs (Reduced Ordered Binary Decision Diagrams).
- 849 total downloads
- last updated 7/16/2017
- Latest version: 0.1.1
ExpertOpinionSharp is a library to combine expert opinions using Cook or Mendel-Sheridan techniques.
- 269 total downloads
- last updated 1/13/2019
- Latest version: 0.0.1
Library to use Maple
- 266 total downloads
- last updated 1/13/2019
- Latest version: 0.1.0
LtlSharp aims at providing model checking feature as a library for easy integration with external tools.
