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.
Dependencies
-
- IKVM (>= 8.1.5717)
- org.sat4j.core (>= 2.3.6)
Used By
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.