Search Package Index

1 packages found

 PackageDescriptionFamilyBuild 

Karp

A language for NP-Reductions

Docs:

This package needs license metadata

Racketsucceeds; has failing tests5