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
Currently net461 and netcoreapp3.1 are the minimum supported runtimes.
Info: Only Sat4j core and pb libraries are compiled.
See Releases