The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
Primary LanguageNewLisp