A specification-by-example toolkit that generates formal network specifications using only input-output examples.