((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[plt-scheme] Re: from hell to paradise

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Wed Feb 18 08:28:10 EST 2009		 
A SAT-based model checker has several real-world elements to it.  I'm
sure you can refactor it into appropriate lessons.
Posted on the users mailing list.