org.sat4j.pb
2.3.5
Sat4j Pseudo
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
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.
Dependencies
-
- IKVM (>= 8.1.5717)
- org.sat4j.core (>= 2.3.5)
Version History
| Version | Downloads | Last updated | ||
|---|---|---|---|---|
| 2.3.5 | 252 | 6/21/2017 | ||