10 packages found

M
Q
P

Description

Propositional Satisfiability Checker

Keywords

Publisher

published 1.1.05 months ago
M
Q
P

Description

Propositional Logic Problem Generator

Keywords

Publisher

published 1.0.07 months ago
M
Q
P

Description

Boolean formula satisfiability algorithms for JavaScript

Keywords

Publisher

published 2.0.24 years ago
M
Q
P

Description

key-based object validation

Keywords

Publisher

published 0.1.27 months ago
M
Q
P

Description

2SAT solver

Keywords

Publisher

published 1.0.17 years ago
M
Q
P

Description

naive solver for the 3-sat problem

Keywords

Publisher

published 1.0.2a year ago
M
Q
P

Description

2-Satisfiability code bricks for JavaScript

Keywords

Publisher

published 0.0.34 years ago
M
Q
P

Description

Solves HORNSAT

Keywords

Publisher

published 0.0.17 years ago
M
Q
P

Description

JavaScript predicate, comparator, equality, and utility functions

Keywords

Publisher

published 0.1.09 years ago
M
Q
P

Description

A lightweight package for evaluating formulas of Boolean logic

Keywords

Publisher

published 1.1.53 years ago