Search the supported graph DSL and return an exact witness when found.

post/api/counterexample

Request

  • Base URL: https://whetstone.cyberelf.link
  • URL: https://whetstone.cyberelf.link/api/counterexample
  • Auth: none declared

Request body

expressionstring required

Graph predicate in the Whetstone DSL, for example: is_connected and is_triangle_free and not is_bipartite

nsinteger[]

Graph sizes searched.

restartsinteger
seedinteger
stepsinteger

Response

Deterministic receipt with item-level decision path and SHA-256 hashes.

Changes

No recorded changes to this operation across all 1 revision of this API.