Skip to content
This repository has been archived by the owner on Jul 11, 2022. It is now read-only.
org.sat4j.pb / 2.3.600

org.sat4j.pb 2.3.600

Install from the command line:
Learn more about NuGet packages
$ dotnet add package org.sat4j.pb --version 2.3.600

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


Assets

  • package.nupkg

Download activity

  • Total downloads 0
  • Last 30 days 0
  • Last week 0
  • Today 0