Search Package Index

3 packages found

	Package	Description	Family	Build
-1780864281	scs bkschemerλ71aa452	Racket bindings to the Stanford Splitting Cone Solver Docs: scs Tags: bindings convex data-science ffi geometry math numerical optimization science scientific solver License: MIT	Racket	succeeds	0
-1692274037	wordle-solver laurent.orseauλafc3ab5	A simple solver for Wordle Docs: wordle-solver Tags: cli game games solver License: (Apache-2.0 OR MIT)	Racket	succeeds	0
-1742549985	z3 pcnλ157a53a	Z3 bindings for Racket This package needs documentation Tags: smt solver z3 This package needs license metadata	Racket	succeeds; has failing tests	5

Package

Description

Family

Build