Output inductive invariants in Lustre syntax
Merge pull request #61 from chsticksel/kind2-server

Output inductive invariants in Lustre syntax