Toggle navigation
Packages
Documentation
Search
About
The Racket Package System
Package Builds
Download Racket
Register
Sign in
Search Package Index
Search terms
Tags
Search
2 packages found
Package
Description
Build
-1644923202
wordle-solver
laurent.orseau@gmail.com
A simple solver for Wordle
Docs:
wordle-solver
Tags:
cli
game
games
solver
succeeds
0
-1557606599
z3
pcn@cs.umd.edu
Z3 bindings for Racket
This package needs documentation
Tags:
smt
solver
z3
succeeds
; has
failing tests
4