A few screenshots illustrating jInfer's GUI.
Overall view of jInfer GUI.
Rule displayer showing a simple initial grammar.
Automaton editor used for interactive simplification showing an easy case to simplify.
The same editor showing a slightly more complex case.
Properties window of a jInfer project.
Result of an inference run - new XSD schema.