Toggle Menu

A Guide to SNARK

May, 2000
Abstract 

Snark, SRI's New Automated Reasoning Kit, is a theorem prover intended for applications in articial intelligence and software engineering. Snark is geared toward dealing with large sets of assertions; it can be specialized with strategic controls that tune its performance; and it has facilities for integrating special-purpose reasoning procedures with general-purpose inference.

Journal
Search Publications
Browse by Sectors
Archive
Author