Handle BigInteger ranges correctly
Error check array sizes
Updated README
Fix linear check based on solver
Produce progress messages for base step
Get progress messages from kind 2
Be more persistent for unknown results in inductive process
Increase version number
Support for MathSAT
Check for div and mod when using MathSAT
Fix parsing of SAT result