👋 What do you think about NuGet.org? We're looking for feedback from developers like you.
Take the survey.
Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Advanced search filters
Frameworks
.NET
net8.0
net7.0
net6.0
net5.0
.NET Core
netcoreapp3.1
netcoreapp3.0
netcoreapp2.2
netcoreapp2.1
netcoreapp2.0
netcoreapp1.1
netcoreapp1.0
.NET Standard
netstandard2.1
netstandard2.0
netstandard1.6
netstandard1.5
netstandard1.4
netstandard1.3
netstandard1.2
netstandard1.1
netstandard1.0
.NET Framework
net481
net48
net472
net471
net47
net462
net461
net46
net452
net451
net45
net40
net35
net30
net20
Package type
All types
Dependency
.NET tool
Template
Options
Include prerelease
2 packages returned for Tags:"Sat4j"
Sort by
Relevance
Downloads
Recently updated
org.
sat4j.
core
by:
VisualOn
Deprecated
10,035 total downloads
last updated
6/20/2022
Latest version:
2.3.600
IKVM.NET
Java
.NET
SAT
Sat4j
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...
More information
org.
sat4j.
pb
by:
VisualOn
Deprecated
8,804 total downloads
last updated
6/20/2022
Latest version:
2.3.600
IKVM.NET
Java
.NET
SAT
Sat4j
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...
More information