Showing 1-20 of 1,080 packages
General satisfiability solver for logic problems
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
tools for processing collected data
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).
A dependency solver for the elm ecosystem
Javascript poker hand solver.
A tiny dependency solver using topological sorting
Scrabble Solver 2 - Solver
High speed Cassowary constraint solver in JavaScript.
Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.
Read more about this solver here: https://blog.autorouting.com/p/the-intersection-jump-autorouter
Scrabble Solver 2 - App
Scrabble Solver 2 - Types
Scrabble Solver 2 - Constants
Scrabble Solver 2 - Dictionaries
Scrabble Solver 2 - Logger
Scrabble Solver 2 - Configs
Scrabble Solver 2 - Word lists
Scrabble Solver 2 - Word definitions
Sliding puzzle game + solver