SNARK is now open source.

http://www.ai.sri.com/~stickel/snark.html

Received on Wednesday, 30 October 2002 11:17:43 UTC