Corral 1.1.8

.NET 5.0 This package targets .NET 5.0. The package is compatible with this framework or higher. 
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
                    


                            if you are setting up this repo
                        

                    

                
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
                    


                    

                
nuke :add-package Corral --version 1.1.8

A solver for the reachability modulo theories problem.

Product 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,271 7/9/2021
1.1.6 440 7/9/2021
1.1.5 482 7/9/2021
1.1.4 454 7/8/2021
1.0.17 6,698 10/29/2020
1.0.16 586 10/29/2020
1.0.15 576 10/21/2020
1.0.14 8,205 9/15/2020
1.0.13 575 9/8/2020
1.0.12 6,926 6/4/2020
1.0.11 785 5/21/2020
1.0.10 617 5/19/2020
1.0.9 664 5/18/2020
1.0.8 703 5/18/2020
1.0.7 681 5/7/2020
1.0.6 1,925 4/26/2020
1.0.5 638 4/26/2020
1.0.4 682 4/26/2020
1.0.2 983 2/14/2020
1.0.1 750 1/2/2020
1.0.0 787 12/31/2019
0.0.4 835 12/31/2019
0.0.3 766 12/31/2019