first commit
more files
add .gitignore
use AM_CPPFLAGS instead of INCLUDES
add .gitignore
update .gitignore
add newly generated configure.ac (by autoscan) and new Makefile.am
update .gitignore
update Makefile.am & configure.ac
add empty NOTE under m4/
use autoconf 2.68
deleting dependency on GMP
fix: include <cstring> instead of <string>
successful compilation version
add TODO.org
fix to support automake >= 1.12
use name-convention *parser.hh instead of *parser.h (because of newer automake)
some todo
update .gitignore
Merge branch 'master' of ssh://bitbucket.org/scungao/dreal2
type of value is changed to double from Real
add non-linear functions such as sin/cos to the Enode