{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/%40divmain/sat","name":"@divmain/sat","description":"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.","version":"1.2.2","softwareVersion":"1.2.2","license":"https://spdx.org/licenses/MIT","maintainer":[{"@type":"Person","name":"divmain"}],"author":[{"@type":"Person","name":"divmain"}],"copyrightHolder":[{"@type":"Person","name":"divmain"}],"dateCreated":"2024-05-26","dateModified":"2024-06-11","datePublished":"2024-06-11","copyrightYear":2024,"downloadUrl":"https://registry.npmjs.org/@divmain/sat/-/sat-1.2.2.tgz","applicationCategory":"npm","runtimePlatform":"npm","sameAs":["https://www.npmjs.com/package/@divmain/sat"]}