Sat4j.net

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.

Changes

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
.github/workflows		.github/workflows
tools		tools
.editorconfig		.editorconfig
.gitignore		.gitignore
.prettierrc		.prettierrc
LICENSE		LICENSE
README.md		README.md
featureide.snk		featureide.snk
org.sat4j.core.nuspec		org.sat4j.core.nuspec
org.sat4j.pb.nuspec		org.sat4j.pb.nuspec
renovate.json		renovate.json