Scripts were not supported, they are now. Reorganized and improved logging. Added support for dreal.