fm-polimi / zot

The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
10Updated 3 years ago

Related projects

Alternatives and complementary repositories for zot