franco-maroni/zot

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

This repository is not active