deiruch.SATInterface 4.9.0

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher.
There is a newer version of this package available.
See the version list below for details. 
dotnet add package deiruch.SATInterface --version 4.9.0                

                    
                

            
NuGet\Install-Package deiruch.SATInterface -Version 4.9.0
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="deiruch.SATInterface" Version="4.9.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add deiruch.SATInterface --version 4.9.0                

                    
                

            
#r "nuget: deiruch.SATInterface, 4.9.0"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
// Install deiruch.SATInterface as a Cake Addin
#addin nuget:?package=deiruch.SATInterface&version=4.9.0

// Install deiruch.SATInterface as a Cake Tool
#tool nuget:?package=deiruch.SATInterface&version=4.9.0

Library to formulate and solve SAT problems in .NET. Includes CaDiCaL, Kissat, CryptoMiniSat and YalSAT as solvers.

Product Compatible and additional computed target framework versions.
.NET net6.0 is compatible.  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. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

  • net6.0

    • No dependencies.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
5.1.4 285 2/23/2024
5.1.3 288 2/3/2024
5.1.2 365 1/14/2024
5.1.1 344 1/12/2024
5.1.0 444 11/21/2023
4.13.0 494 7/18/2023
4.12.0 392 7/14/2023
4.11.0 393 7/13/2023
4.10.0 424 7/3/2023
4.9.0 507 3/4/2023
4.8.4 628 11/18/2022
4.8.3 707 6/29/2022
4.8.2 688 6/23/2022
4.8.1 683 6/1/2022
4.8.0 722 5/25/2022
4.7.2 697 5/18/2022
4.7.1 694 5/18/2022
4.7.0 714 5/13/2022
4.6.0 724 5/9/2022
4.5.0 757 5/1/2022
4.4.0 749 3/24/2022
4.3.1 717 3/6/2022
4.3.0 729 3/6/2022
4.2.6 706 3/3/2022
4.2.5 753 3/3/2022
4.2.4 768 2/25/2022
4.2.3 702 2/20/2022
4.2.2 751 2/20/2022
4.2.1 719 2/20/2022
4.2.0 724 2/20/2022
4.1.0 578 12/8/2021
4.0.1 629 11/1/2021
4.0.0 705 6/11/2021
3.4.5 658 5/6/2021
3.4.4 705 2/22/2021
3.4.3 772 12/4/2020
3.4.2 756 12/4/2020
3.4.1 744 11/23/2020
3.4.0 805 8/20/2020
3.3.2 803 7/29/2020
3.3.1 852 6/14/2020
3.3.0 840 3/23/2020
3.2.2 904 3/6/2020
3.2.1 919 2/25/2020
3.2.0 884 2/21/2020
3.1.0 879 2/12/2020
3.0.0 871 2/4/2020
2.1.11 883 1/17/2020
2.1.10 863 1/14/2020
2.1.9 880 1/10/2020
2.1.8 852 1/9/2020
2.1.7 846 1/3/2020
2.1.6 967 12/30/2019
2.1.4 932 12/30/2019
2.1.3 923 12/30/2019
2.1.2 939 12/29/2019
2.1.1 957 12/29/2019
2.1.0 975 12/28/2019
2.0.5 857 12/25/2019
2.0.4 828 12/17/2019
2.0.3 798 12/6/2019
2.0.2 840 12/4/2019
1.4.3 1,855 3/15/2019
1.4.2 1,371 7/19/2018
1.4.1 1,344 6/11/2018
1.4.0 1,362 6/11/2018
1.3.9 1,404 5/28/2018
1.3.8 1,291 11/29/2017
1.3.7 1,298 11/29/2017
1.3.6 1,467 11/16/2017
1.3.5 1,481 10/23/2017
1.3.4 1,442 10/23/2017
1.3.2 1,456 10/23/2017
1.3.1 1,433 10/22/2017
1.3.0 1,463 10/22/2017
1.2.4 1,363 3/19/2017
1.2.3 1,369 3/19/2017
1.2.2 1,315 3/19/2017
1.2.1 1,285 3/19/2017
1.2.0 1,272 3/19/2017
1.1.2 1,363 1/7/2017
1.1.1 1,346 1/7/2017
1.1.0 1,348 1/7/2017
1.0.5 1,331 1/6/2017
1.0.4 1,330 1/3/2017
1.0.3 1,305 1/3/2017
1.0.2 1,323 1/3/2017
1.0.1 1,309 1/3/2017
1.0.0 1,307 1/3/2017