NanoByte.SatSolver 0.3.0

Install-Package NanoByte.SatSolver -Version 0.3.0
dotnet add package NanoByte.SatSolver --version 0.3.0
<PackageReference Include="NanoByte.SatSolver" Version="0.3.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add NanoByte.SatSolver --version 0.3.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: NanoByte.SatSolver, 0.3.0"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install NanoByte.SatSolver as a Cake Addin
#addin nuget:?package=NanoByte.SatSolver&version=0.3.0

// Install NanoByte.SatSolver as a Cake Tool
#tool nuget:?package=NanoByte.SatSolver&version=0.3.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

DPLL Boolean Satisfiability Solver

  • .NETFramework 4.0

    • No dependencies.
  • .NETFramework 4.5

    • No dependencies.
  • .NETFramework 4.7.2

    • No dependencies.
  • .NETStandard 2.0

    • No dependencies.
  • .NETStandard 2.1

    • 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
0.3.0 139 3/28/2021
0.2.0 218 7/19/2020
0.1.2 269 1/10/2020
0.1.1 263 10/14/2019
0.1.0 385 2/20/2019