NanoByte.SatSolver
0.1.0
DPLL Boolean Satisfiability Solver
There is a newer version of this package available.
See the version list below for details.
See the version list below for details.
Install-Package NanoByte.SatSolver -Version 0.1.0
dotnet add package NanoByte.SatSolver --version 0.1.0
<PackageReference Include="NanoByte.SatSolver" Version="0.1.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add NanoByte.SatSolver --version 0.1.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: NanoByte.SatSolver, 0.1.0"
For F# scripts that support #r syntax, copy this into the source code to reference the package.
Dependencies
-
.NETFramework 2.0
- NanoByte.Common (>= 2.3.1)
-
.NETFramework 3.5 Client
- No dependencies.
-
.NETFramework 4.0 Client
- No dependencies.
-
.NETFramework 4.5
- No dependencies.
-
.NETStandard 1.0
- NETStandard.Library (>= 1.6.1)
-
.NETStandard 2.0
- No dependencies.
Used By
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories
This package is not used by any popular GitHub repositories.