Karp

A language for NP-Reductions

Build status: ok failing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedTuesday, November 14th, 2023 9:50:18pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/REA1/karp.gitcd8ff66ab6b7c5fd45a968cfbec70ac3a5ac4021
Last checkedMonday, June 24th, 2024 11:04:11am (UTC)
Last editedWednesday, August 9th, 2023 9:49:06pm (UTC)
Date addedWednesday, August 9th, 2023 9:47:23pm (UTC)
Modules
  • karp/scribblings/reduction/reduction.scrbl
  • karp/scribblings/problem-definition/problem-definition.scrbl
  • karp/reduction.rkt
  • karp/scribblings/karp.scrbl
  • karp/lib/modified/dot.rkt
  • karp/private/karp-contract.rkt
  • karp/scribblings/libs/libs.scrbl
  • karp/private/core-structures.rkt
  • karp/private/problem-definition-core.rkt
  • karp/lib/mapping-reduction.rkt
  • karp/lib/graph.rkt
  • karp/lib/cnf.rkt
  • karp/lib/stepper.rkt
  • karp/tests/set-test.rkt
  • karp/private/primitive-data-type.rkt
  • karp/private/problem-definition-utility.rkt
  • karp/private/dp-type-info.rkt
  • karp/scribblings/libs/graph.scrbl
  • karp/scribblings/libs/mapping.scrbl
  • karp/tests/contract-test.rkt
  • karp/lib/graph-inspector.rkt
  • karp/problem-definition/lang/reader.rkt
  • karp/tests/decision-problem-test.rkt
  • karp/problem-definition.rkt
  • karp/reduction/lang/reader.rkt
  • karp/lib/mapping.rkt
  • karp/tests/graph-test.rkt
  • karp/private/reduction-dev-base.rkt
  • karp/private/decision-problem.rkt
  • karp/scribblings/quickstart/quickstart.scrbl
  • karp/reduction-base.rkt
  • karp/private/karp-dev-core.rkt
  • karp/lib/structure-inspector.rkt
  • karp/private/modified/error.rkt
  • karp/private/dp-stx-info.rkt
  • karp/scribblings/libs/cnf.scrbl
  • karp/private/verifier-type.rkt