fix(realpaver/rp_interval): fix log message
fix(CMakeLists, bin/dReach): use dReal instead of solver
feat(CMakeLists): add packaging via cpack
fix(CMakeLists): add static support for OS X
fix(opensmt/egraph/Enode.C): use fixed notation in print_infix
fix(realpaver/rp_constant): respect 'out' when display
chore(dsolvers/ode_solver.cpp): add debug message
rp_lexer debug
feat(cmake): use capd-4.0

Conflicts:
	src/CMakeLists.txt
not use boost

Conflicts:
	src/CMakeLists.txt
use libcapd.a

Conflicts:
	src/CMakeLists.txt