command-line frontend to transactional consistency checkers for black-box databases - View it on GitHub