Test data generation tool

I am making a tool which generates test data from SQLs.
The tool analyzes SQLs  and solves its WHERE clauses and the solution is used as the test data of the SQLs.

For example, think the following SQL
SELECT * FROM table1 WHERE table1.col1 >= 2

In WHERE clause, solve table1.col1 >= 2 and we get a solution table1.col1 = 2.
I think this data can be test data for the SQL.

I use Irony for analyzing SQLs and Z3 for solving the WHERE clauses of SQLs.