Tabster - A Tabular Expression Toolbox

Tabster is a java object oriented library designed for verifying critical properties of tabular expressions through the use of SMT solvers. When a given property is not satisfied, Tabster returns counter examples to highlight the situation in which the property fails to hold.

---