Fix null pointer error when trying to divide by a variable
Increase version number
Fix bug in model evalution (we did not support subtraction)
Generate bounded invariants for integers with fixed initial values
Search for jkind.jar in JKIND_HOME before checking PATH
Use environment variables YICES_BIN, Z3_BIN, CVC4_BIN if they are defined
Switch from <SOLVER>_BIN to <SOLVER>_HOME convention
Code simplification
Yices 2
Better error messages for bad filename input
Clean up model handling
Clean up
Move slicing into models
Clean up
Remove definitions for candidates
Smoother tracking of default stream values
Switch use Lustre values for s-expression evaluation
More complete equality check for mixed types
Clean up Yices2 handling code
Fix bug introduced by using Lustre values for models