Corral 1.1.8
dotnet tool install --global Corral --version 1.1.8
This package contains a .NET tool you can call from the shell/command line.
dotnet new tool-manifest
dotnet tool install --local Corral --version 1.1.8
This package contains a .NET tool you can call from the shell/command line.
#tool dotnet:?package=Corral&version=1.1.8
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
nuke :add-package Corral --version 1.1.8
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
A solver for the reachability modulo theories problem.
Product | Versions Compatible and additional computed target framework versions. |
---|---|
.NET | net5.0 is compatible. net5.0-windows was computed. net6.0 was computed. net6.0-android was computed. net6.0-ios was computed. net6.0-maccatalyst was computed. net6.0-macos was computed. net6.0-tvos was computed. net6.0-windows was computed. net7.0 was computed. net7.0-android was computed. net7.0-ios was computed. net7.0-maccatalyst was computed. net7.0-macos was computed. net7.0-tvos was computed. net7.0-windows was computed. net8.0 was computed. net8.0-android was computed. net8.0-browser was computed. net8.0-ios was computed. net8.0-maccatalyst was computed. net8.0-macos was computed. net8.0-tvos was computed. net8.0-windows was computed. net9.0 was computed. net9.0-android was computed. net9.0-browser was computed. net9.0-ios was computed. net9.0-maccatalyst was computed. net9.0-macos was computed. net9.0-tvos was computed. net9.0-windows was computed. net10.0 was computed. net10.0-android was computed. net10.0-browser was computed. net10.0-ios was computed. net10.0-maccatalyst was computed. net10.0-macos was computed. net10.0-tvos was computed. net10.0-windows was computed. |
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.
This package has no dependencies.
Version | Downloads | Last Updated |
---|---|---|
1.1.8 | 7,074 | 7/9/2021 |
1.1.6 | 379 | 7/9/2021 |
1.1.5 | 418 | 7/9/2021 |
1.1.4 | 388 | 7/8/2021 |
1.0.17 | 6,609 | 10/29/2020 |
1.0.16 | 500 | 10/29/2020 |
1.0.15 | 496 | 10/21/2020 |
1.0.14 | 8,107 | 9/15/2020 |
1.0.13 | 506 | 9/8/2020 |
1.0.12 | 6,832 | 6/4/2020 |
1.0.11 | 702 | 5/21/2020 |
1.0.10 | 549 | 5/19/2020 |
1.0.9 | 595 | 5/18/2020 |
1.0.8 | 619 | 5/18/2020 |
1.0.7 | 614 | 5/7/2020 |
1.0.6 | 1,842 | 4/26/2020 |
1.0.5 | 571 | 4/26/2020 |
1.0.4 | 600 | 4/26/2020 |
1.0.2 | 912 | 2/14/2020 |
1.0.1 | 664 | 1/2/2020 |
1.0.0 | 705 | 12/31/2019 |
0.0.4 | 754 | 12/31/2019 |
0.0.3 | 687 | 12/31/2019 |