This repository has been archived by the owner on Jul 11, 2022. It is now read-only.
org.sat4j.core
/
2.3.600-beta.1
org.sat4j.core 2.3.600-beta.1
Install from the command line:
Learn more about NuGet packages
$ dotnet add package org.sat4j.core --version 2.3.600-beta.1
About this version
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
Details
- org.sat4j.core
-
visualon
- over 2 years ago
Assets
- package.nupkg
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0