org.sat4j.pb 2.3.5

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

Install-Package org.sat4j.pb -Version 2.3.5
dotnet add package org.sat4j.pb --version 2.3.5
<PackageReference Include="org.sat4j.pb" Version="2.3.5" />
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.5
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated
2.3.5 335 6/21/2017