add testcases and smt-parser grammar sources
reporter object
parser for DIMACS CNF format
dimacs testcase
add Main object and running scrit, fix bugs in dimacs parser
remove some debug println
smtlib2 parser, and move all parsers into the toplevel parsers package
rename smtlib2 parser file
remove support for smtlib 1.2 parser
more general smtlib2 parser
solver to execute smtlib2 scripts
add a subsorts field to the Sort, to support composite sort
array theory
decision procedure for arrays without extensionality
decision procedure for arrays without extensionality
new testcases
all tests of the same file should be in the same file with Suite appended to the name
unit tests for findAndMap
Fix a bug in extractor of StoreSymbol
Remove debug messages