Data

Tools

Indexes

Applications

Experiments

Packages

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

@divmain/sat

This library provides tools for solving Boolean satisfiability problems (SAT). It includes functions for generating all solutions to a given problem and for finding a single solution using the DPLL algorithm.

Ecosystem
npmjs.org
Latest Release
1.2.2
almost 2 years ago
Versions
6
Downloads
5 last month
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter
Filter by Kind
All kinds
Links
Registry npmjs.org
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:npm/%40divmain/sat
spec
License MIT
Namespace divmain
First Release almost 2 years ago
Last Synced 29 days ago