82,522 packages matching “boolean satisfiability”
@divmain/sat
v1.2.2 · 2 years ago
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.
No known vulnerabilities
is-boolean-object
v1.2.2 · 1 year ago
Is this value a JS Boolean? This module works cross-realm/iframe, and despite ES6 @@toStringTag.
No known vulnerabilities
typical
v7.3.0 · 1 year ago
Isomorphic, functional type-checking for Javascript
No known vulnerabilities
logic-solver
v2.0.1 · 10 years ago
General satisfiability solver for logic problems
No known vulnerabilities
@stdlib/assert-is-boolean
v0.2.3 · 7 months ago
Test if a value is a boolean.
No known vulnerabilities
@turf/boolean-disjoint
v7.4.0 · 1 month ago
Checks if two geometries have no overlapping areas.
No known vulnerabilities
@pkgjs/parseargs
v0.11.0 · 3 years ago
Polyfill of future proposal for `util.parseArgs()`
No known vulnerabilities
@stdlib/boolean-ctor
v0.2.3 · 7 months ago
Boolean constructor.
No known vulnerabilities
commander
v15.0.0 · 4 months ago
the complete solution for node.js command-line programs
No known vulnerabilities
isexe
v4.0.0 · 7 months ago
Minimal module to check if a file is executable.
No known vulnerabilities
@turf/boolean-parallel
v7.4.0 · 1 month ago
Determine whether each segment of a line is parallel to the correspondent segment of another line.
No known vulnerabilities
tr46
v6.0.0 · 1 year ago
An implementation of the Unicode UTS #46: Unicode IDNA Compatibility Processing
No known vulnerabilities
path-type
v6.0.0 · 2 years ago
Check if a path is a file, directory, or symlink
No known vulnerabilities
@turf/boolean-contains
v7.4.0 · 1 month ago
Determines whether the second geometry is completely within the first geometry.
No known vulnerabilities
@turf/boolean-crosses
v7.4.0 · 1 month ago
Checks if two geometries cross each other.
No known vulnerabilities
detect-europe-js
v0.1.2 · 1 year ago
Detect if a user is from a country around the European Union (EU) area
No known vulnerabilities
@turf/boolean-touches
v7.4.0 · 1 month ago
Determine whether none of the points common to both geometries intersect the interiors of both geometries.
No known vulnerabilities
@turf/boolean-within
v7.4.0 · 1 month ago
Determines whether the first geometry is completely within the second geometry.
No known vulnerabilities
@turf/boolean-valid
v7.4.0 · 1 month ago
Checks if the geometry is a valid according to the OGC Simple Feature Specification.
No known vulnerabilities
cookiejar
v2.1.4 · 3 years ago
simple persistent cookiejar system
No known vulnerabilities