Helper methods on unary and binary ops
Hashcode and equals for values
Fixed non-Windows launching of JKind
PID controller example from John Backes
Add attributes file to ensure unix scripts have unix line endings
Fix z3 on Linux
Set scripts executable
Code clean up
Close scratch files
Allow -no_inv_gen and -reduce_inv together since properties can be invariants to each other
Separate local and inline variables
Use layout for console counterexample display
Add bridge and torch problem to examples
Generate invariant candidates of the form 'x >= 0'
Handle 'unknown' response from Yices/maxsat
Pilot flying testing example
Interval simulation for generalizing counterexamples, based on work by John Backes
Add capability for inverting a property's status (valid/invalid)
Fix excel formatting of real valued intervals
Clean up type errors for subranges