Chenhao Zhang
Karp is a domain specific language for writing reductions between NP problems as programs and random-testing their correctness.
This documentation gives a tutorial-style guide to programming in Karp, followed by a description of its features and libraries. For details about the design rationale and the implementation of Karp, see "Karp: a language for NP reductions".