[CS 378] Class Tools

[David L. Rager]

Hello Students,

Either I haven't sent out the link or people have missed it. Either
way, I've put together a guide to the theorem proving and model
checking tools that I've installed for the class. The guide can be
found here:

http://www.cs.utexas.edu/users/ragerdl/cs378/tools.html

Please let me know if such tools do not work.

David