SNARK


AcronymDefinition
SNARKSRI's (Stanford Research Institute's) New Automated Reasoning Kit (SRI International)