fixed hashCode for SymbolicConstraint; refactored hashCode caching
fixed bug introduced in previous commit by caching the hash code for SymbolicConstraint and SymbolicConstraint.Equality
added copyright
made SymbolicConstraint#Equality immutable
Adding test for symbolic backend.
Fixing NullPointerException in symbolic backend.
Fixing the symbolic backend: require --backend symbolic for krun; fixed the smt solver (missing) call.
Added a regression test for the symbolic backend, which tests all its important features.
Added copyright forms.
more fixes to SymbolicConstraint#Equality
Fixed messed up configuration file: wrong arguments for programs and results dirs.
Changed definition for test. Renamed symbolic-kompile dir to test1.
Use the MaudeBackend instead of SymbolicBackend.
fixed copyright
Merge pull request #382 from owolabileg/master

Freezing the code for path indexing
Use regex to match program output
Merge pull request #349 from andreistefanescu/master

fixed hashCode for SymbolicConstraint; refactored hashCode caching
Forgot reference to unexistent package.
fix binary parser for krun
fix copyright