"expressivity"

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