2 packages returned for Tags:"Satisfiability"

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.