Predicate Abstaction with SAT for ANSI-C

The SATABS Webpage has moved HERE.