This is the code for DeKleer's ATMS provided alongside the BPS book (http://www.qrg.northwestern.edu/bps/readme.html).