klipto / UncertaintyLinks
Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those computations.
☆33Updated 8 years ago
Alternatives and similar repositories for Uncertainty
Users that are interested in Uncertainty are comparing it to the libraries listed below
Sorting:
- T2 Temporal Prover☆95Updated 7 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Updated 8 years ago
- Kodkod solver for relational logic☆76Updated last year
- Automata and transducer library for .NET☆82Updated 4 years ago