[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.