SNARK
From Just Solve the File Format Problem
(Difference between revisions)
Dan Tobias (Talk | contribs) (Created page with "{{FormatInfo |formattype=Languages |subcat=Programming Languages }} '''SNARK''' (SRI's New Automated Reasoning Kit) is a language for making logical assertions about things an...") |
Dan Tobias (Talk | contribs) m |
||
| (One intermediate revision by one user not shown) | |||
| Line 3: | Line 3: | ||
|subcat=Programming Languages | |subcat=Programming Languages | ||
}} | }} | ||
| − | '''SNARK''' (SRI's New Automated Reasoning Kit) is a language for making logical assertions about things and their relationships. It uses a syntax with lots of | + | '''SNARK''' (SRI's New Automated Reasoning Kit) is a theorem-prover program, with an associated language for making logical assertions about things and their relationships. It uses a syntax with lots of parentheses (resembling [[LISP]]). |
== Links == | == Links == | ||
* [http://www.ai.sri.com/snark/tutorial/tutorial.html A guide to SNARK] | * [http://www.ai.sri.com/snark/tutorial/tutorial.html A guide to SNARK] | ||
Latest revision as of 20:43, 17 June 2022
SNARK (SRI's New Automated Reasoning Kit) is a theorem-prover program, with an associated language for making logical assertions about things and their relationships. It uses a syntax with lots of parentheses (resembling LISP).
