1,652 packages matching solver

logic-solver

v2.0.1 · 10 years ago

85
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

General satisfiability solver for logic problems

45.5KDownloads across all versions in the last 7 days, from the official npm downloads API.MITLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v2.0.1 (the latest release), from the OSV.dev database.

@tscircuit/solver-utils

v0.0.21 · 28 days ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.

77.3KDownloads across all versions in the last 7 days, from the official npm downloads API.

No known vulnerabilities

Known vulnerabilities affecting v0.0.21 (the latest release), from the OSV.dev database.

@ruvector/rvf-solver

v0.1.8 · 5 months ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank

46.6KDownloads across all versions in the last 7 days, from the official npm downloads API.MITLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v0.1.8 (the latest release), from the OSV.dev database.

z3-solver

v5.2.0 · 27 days ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

119.3KDownloads across all versions in the last 7 days, from the official npm downloads API.MITLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v5.2.0 (the latest release), from the OSV.dev database.

javascript-lp-solver

v1.0.3 · 7 months ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver

71.5KDownloads across all versions in the last 7 days, from the official npm downloads API.UnlicenseLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v1.0.3 (the latest release), from the OSV.dev database.

@tscircuit/fanout-solver

v0.0.78 · 3 days ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

BGA fanout solver with coordinated bus-layer escapes for SimpleRouteJson

39.6KDownloads across all versions in the last 7 days, from the official npm downloads API.MITLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v0.0.78 (the latest release), from the OSV.dev database.

solver

v0.0.2 · 11 years ago

85
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

tools for processing collected data

6Downloads across all versions in the last 7 days, from the official npm downloads API.GPLLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v0.0.2 (the latest release), from the OSV.dev database.

dependency-solver

v1.0.6 · 9 years ago

85
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

A tiny dependency solver using topological sorting

2.6KDownloads across all versions in the last 7 days, from the official npm downloads API.MITLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v1.0.6 (the latest release), from the OSV.dev database.

highs-solver

v0.10.3 · 1 year ago

95
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

Node.js binding for the HiGHS optimization solver

1.2KDownloads across all versions in the last 7 days, from the official npm downloads API.Apache-2.0License declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v0.10.3 (the latest release), from the OSV.dev database.

elm-solve-deps-wasm

v2.0.0 · 2 years ago

90
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

A dependency solver for the elm ecosystem

23.6KDownloads across all versions in the last 7 days, from the official npm downloads API.MPL-2.0License declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v2.0.0 (the latest release), from the OSV.dev database.

@arkade-os/solver-discovery

v0.2.6 · 2 hours ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

Portable ESM client for discovering solver price feeds from Arkade solver registries (browser / Node / Expo).

3.1KDownloads across all versions in the last 7 days, from the official npm downloads API.MITLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v0.2.6 (the latest release), from the OSV.dev database.

yalps

v0.6.4 · 8 months ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.

7.4KDownloads across all versions in the last 7 days, from the official npm downloads API.MITLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v0.6.4 (the latest release), from the OSV.dev database.

pokersolver

v2.1.4 · 6 years ago

85
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

Javascript poker hand solver.

6.9KDownloads across all versions in the last 7 days, from the official npm downloads API.MITLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v2.1.4 (the latest release), from the OSV.dev database.

@lume/kiwi

v0.4.4 · 1 year ago

95
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

High speed Cassowary constraint solver in JavaScript.

49.0KDownloads across all versions in the last 7 days, from the official npm downloads API.BSD-3-ClauseLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v0.4.4 (the latest release), from the OSV.dev database.

@scrabble-solver/scrabble-solver

v2.18.4 · 20 days ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

Scrabble Solver web app: free word finder and board solver for Scrabble, Super Scrabble, Literaki, and more.

29Downloads across all versions in the last 7 days, from the official npm downloads API.CC-BY-NC-ND-4.0License declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v2.18.4 (the latest release), from the OSV.dev database.

@tscircuit/infgrid-ijump-astar

v0.0.35 · 1 year ago

95
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

Read more about this solver here: https://blog.autorouting.com/p/the-intersection-jump-autorouter

38.4KDownloads across all versions in the last 7 days, from the official npm downloads API.

No known vulnerabilities

Known vulnerabilities affecting v0.0.35 (the latest release), from the OSV.dev database.

@tscircuit/high-density-a01

v0.0.37 · 4 months ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

A high density zero-obstacle solver

2.3KDownloads across all versions in the last 7 days, from the official npm downloads API.

No known vulnerabilities

Known vulnerabilities affecting v0.0.37 (the latest release), from the OSV.dev database.

@scrabble-solver/constants

v2.18.4 · 20 days ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

Shared constants for Scrabble Solver (blank tile, bonus markers).

47Downloads across all versions in the last 7 days, from the official npm downloads API.CC-BY-NC-ND-4.0License declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v2.18.4 (the latest release), from the OSV.dev database.

highs-addon

v0.10.3 · 1 year ago

95
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

Low-level Node.js binding for the HiGHS optimization solver

1.6KDownloads across all versions in the last 7 days, from the official npm downloads API.Apache-2.0License declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v0.10.3 (the latest release), from the OSV.dev database.

@scrabble-solver/logger

v2.18.4 · 20 days ago

100
0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.

JSON-lines event log for Scrabble Solver, with CSV export.

30Downloads across all versions in the last 7 days, from the official npm downloads API.CC-BY-NC-ND-4.0License declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v2.18.4 (the latest release), from the OSV.dev database.
1 / 50Next