ancailliau
-
- 6,507 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). -
- 2,089 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. -
Synsharp
by: ancailliau- 1,203 total downloads
- last updated 10/5/2022
- Latest version: 0.1.2
A C# client for Vertex Synapse -
- 729 total downloads
- last updated 1/13/2019
- Latest version: 0.0.1
Library to use Maple -
- 721 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.