/zot

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

Primary LanguageNewLisp

No issues in this repository yet.