LtlSharp aims at providing model checking feature as a library for easy integration with external tools.
Info
| Version: | 0.1.0 |
| Author(s): | Antoine Cailliau |
| Last Update: | Sunday, January 13, 2019 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/ancailliau/LtlSharp |
| NuGet Url: | https://www.nuget.org/packages/UCLouvain.LTLSharp |
Install
Install-Package UCLouvain.LTLSharp
dotnet add package UCLouvain.LTLSharp
paket add UCLouvain.LTLSharp
UCLouvain.LTLSharp Download (Unzip the "nupkg" after downloading)
Dependencies
- alglibnet2(>= 0.0.0)
- FParsec(>= 1.0.2)
- FSharp.Core(>= 4.0.0.1)
- MathNet.Numerics(>= 3.11.0)
- MathNet.Numerics.FSharp(>= 3.11.0)
- MathNet.Symbolics(>= 0.8.0)
- morelinq(>= 1.4.0)
- NLog(>= 4.3.5)
- NuGet.Build(>= 2.12.0)
- NuGet.CommandLine(>= 1.0.11220.26)
- QuickGraph(>= 3.6.61119.7)
- OpenMapleSharp(>= 0.0.1)
