Sat4j Pseudo NuGet Package

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.




Got any Sat4j Pseudo Question?





Info

Version: 2.3.600
Author(s): Michael Kriese
Last Update: Monday, June 20, 2022
.NET Fiddle: Create the first Fiddle
Project Url: https://sat4j.org/
NuGet Url: https://www.nuget.org/packages/org.sat4j.pb


Install
Install-Package org.sat4j.pb
dotnet add package org.sat4j.pb
paket add org.sat4j.pb
org.sat4j.pb Download (Unzip the "nupkg" after downloading)

1 package depend on this package.


Tags



STATS

must-have-score

1.8

avg-downloads-per-day

3

days-since-last-release

648