A solver for the reachability modulo theories problem.
Info
| Version: | 1.1.8 |
| Author(s): | Corral |
| Last Update: | Friday, July 9, 2021 |
| .NET Fiddle: | Create the first Fiddle |
| NuGet Url: | https://www.nuget.org/packages/Corral |
Install
Install-Package Corral
dotnet add package Corral
paket add Corral
Corral Download (Unzip the "nupkg" after downloading)
