Tools for generating Armstrong relations/tables?

I am looking for any tools that can generate an Armstrong relation (table) given a database table definition.

An informal definition of an Armstrong relation is a table with example data that satisfy all constraints implied by the constraints on the table and also violate all constraints not implied by the constraints on the table.

Note that this is different from arbitrarily generating random data for a database table in the following ways:

1. There is no guarantee that arbitrarily generated random data will violate constraints not implied by the table.
2. The data generated is likely to not be minimal whereas with Armstrong relations minimality is the aim.

Up to now the only tools I could find that can generate an Armstrong relation are written by academia and are not maintained/enhanced.