Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
2 packages returned for Tags:"Satisfiability"
Filter
Package type
All types
Dependency
.NET tool
Template
Sort by
Relevance
Downloads
Recently updated
Options
Include prerelease
NanoByte.
SatSolver
by:
bastian.eicher
NanoByte
1,938 total downloads
last updated
3/28/2021
Latest version:
0.3.0
SAT
Boolean
Satisfiability
Solver
DPLL
DPLL Boolean Satisfiability Solver
SimpleSAT
by:
porrasm
491 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.