Toggle navigation
Packages
Documentation
Search
About
The Racket Package System
Package Builds
Download Racket
Register
Sign in
Search Package Index
Search terms
Tags
Search
1 packages found
Package
Description
Build
-1699998618
Karp
chenhao.zhang.rea
λ
b28509a
A language for NP-Reductions
Docs:
karp
Tags:
dsl
education
This package needs license metadata
succeeds
; has
failing tests
5