org.sat4j.core 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.core -Version 2.3.6
dotnet add package org.sat4j.core --version 2.3.6
<PackageReference Include="org.sat4j.core" 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.core --version 2.3.6
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: org.sat4j.core, 2.3.6"
#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 org.sat4j.core as a Cake Addin
#addin nuget:?package=org.sat4j.core&version=2.3.6

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

    • IKVM (>= 8.1.5717)

NuGet packages (1)

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

Package Downloads
org.sat4j.pb
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

GitHub repositories

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated
2.3.6 104 12/23/2020
2.3.5 1,634 6/21/2017