Toggle Menu

A Guide to SNARK

May, 2000

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.

Search Publications
Browse by Sectors

SRI Ideation Workshops

Coming up with Big Ideas is easy. Turning Big Ideas into concrete reality is where SRI Ideation Workshops come in. Over a concentrated period of time, our Ideation Workshops help you develop clear roadmaps to take your most ambitious, most meaningful projects from initial proof of concept to market.

Get started today.