Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pkgs.racket-lang.org "solver" keyword

z3
Z3 bindings for Racket
Latest release: about 15 hours ago - 24 stars on GitHub - 1 maintainer
wordle-solver
A simple solver for Wordle
Latest release: 8 days ago - 3 stars on GitHub - 1 maintainer
Related Keywords
smt 1 z3 1 binding 1 bindings 1 racket 1 smt-solver 1 cli 1 game 1 games 1