1,218 packages matching “z3-solver”
cubic-bezier
v0.1.2 · 14 years ago
A small cubic bézier timing function
No known vulnerabilities
capsolver
v1.0.1 · 3 years ago
- Promise Based API methods - Browser & NodeJS support - Node-Fetch EMCAScript - Fluent typings & native TS. - Proxy Support
No known vulnerabilities
toxeus-node-sdk
v1.1.100 · 1 year ago
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,
No known vulnerabilities
@scrabble-solver/configs
v2.17.0 · 8 days ago
Scrabble Solver 2 - Configs
No known vulnerabilities
@scrabble-solver/constants
v2.17.0 · 8 days ago
Scrabble Solver 2 - Constants
No known vulnerabilities
@eco-foundation/routes-ts
v3.2.20 · 3 days ago
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.
No known vulnerabilities
@davepagurek/qpsolver
v0.0.5 · 1 year ago
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!
No known vulnerabilities
@scrabble-solver/types
v2.17.0 · 8 days ago
Scrabble Solver 2 - Types
No known vulnerabilities
sync-ammo
v0.1.2 · 2 years ago
Synchronized version Ammo physical library
No known vulnerabilities
@scrabble-solver/solver
v2.17.0 · 8 days ago
Scrabble Solver 2 - Solver
No known vulnerabilities
@educorvi/smtlib
v1.3.0 · 8 months ago
A Javascript wrapper with a Z3-ish API for SMT-LIB 2.6, the language of Satisfiability Modulo Theories solvers
No known vulnerabilities
jsfeat
v0.0.8 · 10 years ago
JavaScript Computer Vision library
No known vulnerabilities
@scrabble-solver/scrabble-solver
v2.17.0 · 8 days ago
Scrabble Solver 2 - App
No known vulnerabilities
sublinear-time-solver
v1.7.2 · 2 months ago
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.
No known vulnerabilities
yuwakisa-z3solver-mcp
v0.1.1 · 2 months ago
MCP server providing Z3 SMT solver capabilities
No known vulnerabilities
cube-solver
v2.4.1 · 5 years ago
Solve Rubik's cube using the Kociemba algorithm.
No known vulnerabilities
@tscircuit/find-convex-regions
v0.1.4 · 3 months ago
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.
No known vulnerabilities
@mailwoman/core
v9.1.0 · 4 days ago
Mailwoman core: tokenization, decoder, formatter, resources, filters, utils.
No known vulnerabilities
@scrabble-solver/word-lists
v2.17.0 · 8 days ago
Scrabble Solver 2 - Word lists
No known vulnerabilities
@theoremts/core
v0.8.0 · 15 hours ago
Core engine for Theorem — parser, translator, solver, scanner, suggester
No known vulnerabilities