Merge branch 'develop' of github.com:chsticksel/kind2 into develop
SMT trace to correct file in single process mode
Merge pull request #93 from chsticksel/develop

SMT trace to correct file in single process mode
SMT solver options: keep defaults if not set
Merge pull request #94 from chsticksel/develop

SMT solver options: keep defaults if not set
Output inductive invariant in PDR
Multi-node example and native input example
Link to XML schema for counterxample path
Document webservice protocol
Formated text
Update webservice.md
Fixed XML attribute for input and output streams
Fixed attribute name and indentation
Merge pull request #95 from chsticksel/develop

XML output
Added multi-node example two_counters
Draft of input for internal format
Reformated with more line breaks
Merge pull request #96 from chsticksel/develop

Draft for the native input format
Update Kind2-Native.md
Don't set unnecessary option pp.max_depth