Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
npmjs.org "propositional" keyword
propsat 2.1.0
Propositional Satisfiability Checker29 versions - Latest release: 12 months ago - 1 dependent package - 1 dependent repositories - 70 downloads last month - 1 maintainer
llang 0.0.1
An interpreter of well-formed formulas in propositional calculus.1 version - Latest release: over 9 years ago - 1 dependent package - 1 dependent repositories - 11 downloads last month - 10 stars on GitHub - 1 maintainer
vulcan 0.2.1
A resolution-based propositional logic tool12 versions - Latest release: almost 8 years ago - 1 dependent package - 2 dependent repositories - 40 downloads last month - 58 stars on GitHub - 1 maintainer
@mist3rbru/p-logic 0.1.3
4 versions - Latest release: 10 months ago - 8 downloads last month - 0 stars on GitHub - 1 maintainer
Top 7.6% on npmjs.org
1 version - Latest release: over 11 years ago - 3 dependent packages - 50 dependent repositories - 12.7 thousand downloads last month - 3 stars on GitHub
connective 1.0.0
combine predicate (bool returning) functions with propositional logic connectives (and, or, not)1 version - Latest release: over 11 years ago - 3 dependent packages - 50 dependent repositories - 12.7 thousand downloads last month - 3 stars on GitHub
xerocross.vulcan 0.4.0
A resolution-based propositional logic tool3 versions - Latest release: 12 months ago - 3 dependent packages - 3 dependent repositories - 4 downloads last month - 0 stars on GitHub - 1 maintainer
plpgen 1.0.0 removed
Propositional Logic Problem Generator7 versions - Latest release: almost 4 years ago - 1 dependent package - 1 dependent repositories - 9 downloads last month - 1 maintainer