ACL2 Miscellaneous Support

Support for books/clause-processors/SULFA/:
Minisat 2 (zip file), redistributed from
http://www.cs.chalmers.se/Cs/Research/FormalMethods/MiniSat/MiniSat.html.