Add 'mod' operator
Type check assertions
Increase version number
Allow -N initial flag for benchmarking
Fix bug in evaluation of 'and' expressions
Minor code clean up
Fix lookup of partial function values in YicesModel (bug discovered by Lucas Wagner)
Fix bug in pretty-printing of subrange int types found by Dan DaCosta
Fixed type checking for records to prevent cycles and unknown field types
Increase version number
Upgrade to ANTLR v4.2
Add declaration information to models used in Director in case values are missing (fixes #15)
Add JKindApi.setSolver()
Treat nonlinear multiplication as only a warning when Z3 is used (closes #16).

In this case Z3 may return 'unknown' but I was not able to find any
simple examples that illustrated this. Currently such a response would
cause an exception in JKind. When we find an example, we can give it
better behavior.
Disable division checker for non-constant divisions (fixes #16).
Add real <-> int casting with the functions real(x) and floor(x). Closes #17.
Pass rewrite-divk option to cvc4 to enable division by a constant
Added nonlinear example
Add arrays which get expanded to scalars. See testing/array.lus for examples.
Bug fix due to array changes