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
<PackageReference Include="org.sat4j.pb" Version="2.3.5" />
paket add org.sat4j.pb --version 2.3.5
This package is not used by any popular GitHub repositories.