"np-spec"

Compiling problem specifications into SAT

Compiling program specifications into SAT

textscNP-Spec: An Executable Specification Language for Solving All Problems in NP

textscnp-spec: An Executable Specification Language for Solving All Problems in NP