org.sat4j.pb 2.3.6

Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

           This is the IKVM version; which is to say that this is compiled from Java to .NET

Requires NuGet 2.12 or higher.

Install-Package org.sat4j.pb -Version 2.3.6
dotnet add package org.sat4j.pb --version 2.3.6
<PackageReference Include="org.sat4j.pb" Version="2.3.6" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add org.sat4j.pb --version 2.3.6
The NuGet Team does not provide support for this client. Please contact its maintainers for support. 
#r "nuget: org.sat4j.pb, 2.3.6"
For F# scripts that support #r syntax, copy this into the source code to reference the package. 
// Install org.sat4j.pb as a Cake Addin
#addin nuget:?package=org.sat4j.pb&version=2.3.6

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

NuGet packages (1)

Showing the top 1 NuGet packages that depend on org.sat4j.pb:

Package Downloads
de.ovgu.featureide.fm
An extensible framework for feature-oriented software development This is the IKVM version; which is to say that this is compiled from Java to .NET

GitHub repositories

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated
2.3.6 94 12/23/2020
2.3.5 1,513 6/21/2017