Fixed error in error reporting
Fixed bug with unsat error not displaying properly
Finally fixed the unsat problem
changed Output to append instead of replace
modified submit behavior
Fixed bug with decrementing get instances value
fixed bug in get instances
Unsat near miss now displays in table
Fixed claferprocessor to properly handle inheritance
Fixed Chrome Bug
Fixed some bugs
More bug fixes
Added function to pull constraints from claferIR
Added Constraint manipulator
Regex typo
Fixed typo brought on by fix of last typo... -_-
Changed constraint manipulator
Removed quality attributes of features from comparison table
Fixed encoding problem for server
Changed algorithm to allow for models without supertypes