1,218 packages matching z3-solver

cubic-bezier

v0.1.2 · 14 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 small cubic bézier timing function

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

No known vulnerabilities

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

capsolver

v1.0.1 · 3 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.

- Promise Based API methods - Browser & NodeJS support - Node-Fetch EMCAScript - Fluent typings & native TS. - Proxy Support

2.8KDownloads 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.1 (the latest release), from the OSV.dev database.

toxeus-node-sdk

v1.1.100 · 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.

t8xeus-node-sdk is a powerful Node.js library for interacting with the Toxeus Cloud Solver API. It enables users to model and solve complex nonlinear systems and optimization problems in real-time. Features include secure authentication, problem modeling,

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

No known vulnerabilities

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

@scrabble-solver/configs

v2.17.0 · 8 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 2 - Configs

1.2KDownloads 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.17.0 (the latest release), from the OSV.dev database.

@scrabble-solver/constants

v2.17.0 · 8 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 2 - Constants

859Downloads 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.17.0 (the latest release), from the OSV.dev database.

@eco-foundation/routes-ts

v3.2.20 · 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.

The Eco Routes Protocol is a decentralized intent based system that allows users to submit their intent to the network and have it fulfilled by a solver on the destination rollup of their choise.

2.5KDownloads across all versions in the last 7 days, from the official npm downloads API.SEE LICENSE IN LICENSELicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v3.2.20 (the latest release), from the OSV.dev database.

@davepagurek/qpsolver

v0.0.5 · 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.

Do you have some math to do and need a quadratic programming solver? Has the universe conspired to force you to do it in the browser, where you have none of the tools that actual mathematicians would use? I'm in the same boat!

581Downloads 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.5 (the latest release), from the OSV.dev database.

@scrabble-solver/types

v2.17.0 · 8 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 2 - Types

765Downloads 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.17.0 (the latest release), from the OSV.dev database.

sync-ammo

v0.1.2 · 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.

Synchronized version Ammo physical library

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

No known vulnerabilities

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

@scrabble-solver/solver

v2.17.0 · 8 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 2 - Solver

802Downloads 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.17.0 (the latest release), from the OSV.dev database.

@educorvi/smtlib

v1.3.0 · 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.

A Javascript wrapper with a Z3-ish API for SMT-LIB 2.6, the language of Satisfiability Modulo Theories solvers

10Downloads 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.3.0 (the latest release), from the OSV.dev database.

jsfeat

v0.0.8 · 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.

JavaScript Computer Vision library

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

No known vulnerabilities

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

@scrabble-solver/scrabble-solver

v2.17.0 · 8 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 2 - App

739Downloads 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.17.0 (the latest release), from the OSV.dev database.

sublinear-time-solver

v1.7.2 · 2 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.

The Ultimate Mathematical & AI Toolkit: Sublinear algorithms, consciousness exploration, psycho-symbolic reasoning, chaos analysis, and temporal prediction in one unified MCP interface. WASM-accelerated with Lyapunov exponents and attractor dynamics.

874Downloads across all versions in the last 7 days, from the official npm downloads API.MIT OR Apache-2.0License declared in the package manifest.

No known vulnerabilities

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

yuwakisa-z3solver-mcp

v0.1.1 · 2 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.

MCP server providing Z3 SMT solver capabilities

8Downloads 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.1 (the latest release), from the OSV.dev database.

cube-solver

v2.4.1 · 5 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.

Solve Rubik's cube using the Kociemba algorithm.

351Downloads 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.4.1 (the latest release), from the OSV.dev database.

@tscircuit/find-convex-regions

v0.1.4 · 3 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.

Decompose a 2D rectangular area into convex regions around obstacles (vias, rectangles, and arbitrary polygons). Useful for PCB autorouting and spatial partitioning where convex sub-regions simplify pathfinding.

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

No known vulnerabilities

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

@mailwoman/core

v9.1.0 · 4 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.

Mailwoman core: tokenization, decoder, formatter, resources, filters, utils.

864Downloads across all versions in the last 7 days, from the official npm downloads API.AGPL-3.0-only OR LicenseRef-CommercialLicense declared in the package manifest.

No known vulnerabilities

Known vulnerabilities affecting v9.1.0 (the latest release), from the OSV.dev database.

@scrabble-solver/word-lists

v2.17.0 · 8 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 2 - Word lists

776Downloads 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.17.0 (the latest release), from the OSV.dev database.

@theoremts/core

v0.8.0 · 15 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.

Core engine for Theorem — parser, translator, solver, scanner, suggester

32Downloads 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.8.0 (the latest release), from the OSV.dev database.