ancailliau 

BDDSharp is a C# library for manipulating roBDDs (Reduced Ordered Binary Decision Diagrams).

ExpertOpinionSharp is a library to combine expert opinions using Cook or Mendel-Sheridan techniques.

A C# client for Vertex Synapse

Library to use Maple

LtlSharp aims at providing model checking feature as a library for easy integration with external tools.