Skip To Content

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

3 packages returned for Tags:"Satisfiability"

Sort by

NanoByte.SatSolver
by: bastian.eicher NanoByte
- 2,465 total downloads
- last updated 4/10/2023
- Latest version: 0.3.1
- SAT Boolean Satisfiability Solver DPLL
DPLL Boolean Satisfiability Solver
SimpleSAT
by: porrasm
- 808 total downloads
- last updated 2/2/2022
- Latest version: 1.0.1
- sat maxsat satisfiability logic
A tool which can be used to generate Boolean Satisfiability Problem (SAT) encodings. The package can generate CNF or WCNF formats.
TopDag
by: stevenwbass
- 422 total downloads
- last updated 9/10/2023
- Latest version: 2.1.0
- directed acyclical graph dag satisfiability bsat b-sat
Package Description

Contact

Got questions about NuGet or the NuGet Gallery?

Status

Find out the service status of NuGet.org and its related services.

FAQ

Read the Frequently Asked Questions about NuGet and see if your question made the list.

© Microsoft 2023 - About - Terms of Use - Privacy Policy - Trademarks