added qflra solver and some literature
adding solver for equality with uninterpreted functions
some literature on adt
removed all papers
Merge branch 'master' of github.com:regb/Regolic
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