I'm working on a nice tutorial with crocs for that, it remains implementing backtracking when generating valid input.