BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

Home Search Compare Equivalents

One search box and one honest, consistent read on every open-source library — across every ecosystem.

npmPyPIcrates.ioRubyGemsGoMavenNuGet

Discover

Tools

Compare Equivalents

Data

deps.dev OSV advisories npm registry PyPI

About

Methodology Partner with us

© 2026 Modules · A precision instrument for picking dependencies.Data refreshed continuously from public registries, deps.dev & OSV

cross-ecosystem search · live

Results for boolean-sat

Found in 3 of 7 ecosystemsnpm 1–24 of 79,015 · 13 matches across other registries

npm79015 RubyGems1 NuGet12

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

npm matches

Showing 24 of 79,015 · JavaScript

See all npm →

boolean-satv1.0.0

A simple JavaScript SAT solver

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 8 years ago.

@types/http-errorsv2.0.5

TypeScript definitions for http-errors

MaintenanceAging

PopularityUnknown

Aging — last published over a year ago — check before adopting.

@types/express-serve-static-corev5.1.1

TypeScript definitions for express-serve-static-core

MaintenanceHealthy

PopularityUnknown

Maintained. Maintained, actively maintained.

@types/mdxv2.0.14

TypeScript definitions for mdx

MaintenanceHealthy

PopularityUnknown

Maintained. Maintained, actively maintained.

@types/body-parserv1.19.6

TypeScript definitions for body-parser

MaintenanceAging

PopularityUnknown

Aging — last published over a year ago — check before adopting.

@types/satv0.0.35

TypeScript definitions for sat

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 2 years ago.

dateformatv5.0.3

A node.js package for Steven Levithan's excellent dateFormat() function.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 4 years ago.

is-boolean-objectv1.2.2

Is this value a JS Boolean? This module works cross-realm/iframe, and despite ES6 @@toStringTag.

MaintenanceAging

PopularityUnknown

Aging — last published over a year ago — check before adopting.

@types/google.mapsv3.65.1

TypeScript definitions for google.maps

MaintenanceHealthy

PopularityUnknown

Maintained. Maintained, actively maintained.

@types/katexv0.16.8

TypeScript definitions for katex

MaintenanceHealthy

PopularityUnknown

Maintained. Maintained, actively maintained.

@types/nodemailerv8.0.0

TypeScript definitions for nodemailer

MaintenanceHealthy

PopularityUnknown

Maintained. Maintained, actively maintained.

@ncstate/sat-popoverv16.0.0

Popover component for Angular

MaintenanceHealthy

PopularityUnknown

Maintained. Maintained, actively maintained.

@types/bcryptv6.0.0

TypeScript definitions for bcrypt

MaintenanceAging

PopularityUnknown

Aging — last published 11 months ago — check before adopting.

@types/cli-progressv3.11.6

TypeScript definitions for cli-progress

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published over a year ago.

@types/leafletv1.9.21

TypeScript definitions for leaflet

MaintenanceAging

PopularityUnknown

Aging — last published 8 months ago — check before adopting.

@types/morganv1.9.10

TypeScript definitions for morgan

MaintenanceAging

PopularityUnknown

Aging — last published over a year ago — check before adopting.

@nodecfdi/sat-ws-descarga-masivav2.0.0

Librería para usar el servicio web del SAT de Descarga Masiva

MaintenanceAging

PopularityUnknown

Aging — last published over a year ago — check before adopting.

Library for performing 2D collision detection

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 5 years ago.

@types/compressionv1.8.1

TypeScript definitions for compression

MaintenanceAging

PopularityUnknown

Aging — last published over a year ago — check before adopting.

@types/papaparsev5.5.2

TypeScript definitions for papaparse

MaintenanceHealthy

PopularityUnknown

Maintained. Maintained, actively maintained.

Isomorphic, functional type-checking for Javascript

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published over a year ago.

@types/freshv0.5.3

TypeScript definitions for fresh

MaintenanceAging

PopularityUnknown

Aging — last published over a year ago — check before adopting.

@pkgjs/parseargsv0.11.0

Polyfill of future proposal for `util.parseArgs()`

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 3 years ago.

@types/negotiatorv0.6.4

TypeScript definitions for negotiator

MaintenanceAging

PopularityUnknown

Aging — last published over a year ago — check before adopting.

1 2 3 4 5…3293

RubyGems matches

1 match · Ruby

dpll_solverv0.0.1

This is a small SAT solving tool for either DIMACS file input (max. 20 variables, 80 lines) or boolean expressions in string format i.e. '(x1 * (x3 + x4))'.

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 12 years ago.

NuGet matches

12 matches · .NET

nanobyte.satsolverv0.5.0

No description provided.

MaintenanceHealthy

PopularityUnknown

Maintained. Maintained, actively maintained.

kingdom.ortools.constraintsolver.corev5.2.2.16195

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 6 years ago.

kingdom.ortools.sat.corev1.1.2.16195

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 6 years ago.

kingdom.ortools.linearsolver.corev1.3.2.16195

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 6 years ago.

org.sat4j.corev2.3.600

No description provided.

MaintenanceDeprecated

PopularityUnknown

Deprecated. Don't start a new project on this.

org.sat4j.pbv2.3.600

No description provided.

MaintenanceDeprecated

PopularityUnknown

Deprecated. Don't start a new project on this.

ellumination.ortools.sat.corev1.1.2.16208

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 5 years ago.

ellumination.ortools.constraintsolver.corev5.2.2.16214

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 5 years ago.

ellumination.ortools.constraintsolver.routingv1.0.0.425

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 5 years ago.

ellumination.ortools.constraintsolver.routing.distancesv1.0.0.310

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 5 years ago.

ellumination.ortools.linearsolver.corev1.3.2.16210

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 5 years ago.

simplesatv1.0.1

No description provided.

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 4 years ago.