Orbital شامل جبر اموتر، قضه اثبات، جستجو و برنامه رز، و همنن الورتم ها ادر ماشن است. به طور ل، اده مفهوم شت تابخانه مدار، ارائه خدمات و اجزا فرمت برا جاوا است ه قلب بسار از برنامه ها علم را احاطه رده است. از ان رو نام تابخانه ORBITAL. به منظور برآورده ساختن الزامات استفاده مجدد از آن، طراح ان تابخانه لاس بناد، انعطاف ذر، ساد مفهوم و تعمم را به ارمغان م آورد. بنابران بسار از مشلات ده را م توان به راحت با اجزا سازار خود حل رد. به خصوص ابزار مفد، ابزار تربات Functor، از جمله ادغام آنها به راضات عدد و نمادن، و همنن طرح ها ارزاب عملرد ل و ندن قالب الورتم از جمله جستجو و برنامه رز است. اده ساز منطق ها مختلف و سستم ها اثبات شده قضه ا و روال ها سستم جبر اموتر وجود دارد.
Softwaresea.com جددترن مرز دانلود راان نرم افزار سبز را در داخل و خارج از شور، از جمله نرم افزار اموتر، الشن ال، الشن اندرود و سار دانلودها راان نرم افزار موبال اموتر ارائه م ند. ار م خواهد در مورد نرم افزار راان سبز بشتر بداند، آن را در softwaresea.com دانلود ند!