Тук е отговорът на всички въпроси.
http://dreal.net/wiki/index.php/%D0%...B0%D1%82%D0%B8