feat(src/CMakeLists.txt): use CAPD-4.0
test(c_api): add C API testcases
chore(dsolvers/ode_solver.cpp): fix indentation
tests(nra_ode): use ode-order=35 for cardiac examples
fix(opensmt/api/opensmt_c.h): add interval value for mk_int_var/mk_real_var
fix(dsolvers/ode_solver): run prune_forward/backward only if SAT

fix #62
fix(dsolvers/ode_solver.cpp): print FATAL error message in case of ODE exception
fix(opensmt/egraph/EgraphStore.C): print full-precision in mkNum
feat(opensmt/egraph/EgraphStore.C): add simplification

 - x ^ 1 = x
 - x + 0 = x
 - 0 + x = x
 - x - 0 = x
 - 0 - x = -x
fix(src/CMakeLists.txt): change capd configure option
tests(nra_ode): add bak
change CAPD configure options
ck
fix(CMakeLists.txt): configuration for CAPD-4.0
fix(CMakeLists.txt): build CAPD without making shared library
SpaceEx forward pruning works now (with file/system call, though)
Merge remote-tracking branch 'dreal/master'