NanoByte.SatSolver 0.1.0

DPLL Boolean Satisfiability Solver

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.

  • .NETFramework 2.0

  • .NETFramework 3.5 Client

    • No dependencies.

  • .NETFramework 4.0 Client

    • No dependencies.

  • .NETFramework 4.5

    • No dependencies.

  • .NETStandard 1.0

  • .NETStandard 2.0

    • No dependencies.

Version History

Version Downloads Last updated
0.1.0 71 2/20/2019