Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

nuget.org "satisfiability" keyword

topdag 2.1.0

Package Description
4 versions - Latest release: 9 months ago - 571 downloads total - 1 maintainer

simplesat 1.0.1

A tool which can be used to generate Boolean Satisfiability Problem (SAT) encodings. The package ...
2 versions - Latest release: over 2 years ago - 836 downloads total - 1 maintainer

Related Keywords

directed 1 acyclical 1 graph 1 dag 1 bsat 1 b-sat 1 sat 1 maxsat 1 logic 1