Implementacje

Planery abstrakcyjne:

Nazwa modułuPliki
Nazwa modułuPliki
Planer abstrakcyjny SMT Pobierz
Planer abstrakcyjny GA i hybrydowy (GA+SMT) Pobierz

Planery konkretne:

Nazwa modułuPliki
Nazwa modułuPliki
Planer konkretny SMT oraz hybrydowe: IPH i SRH (GA + SMT) Pobierz
Planer konkretny GA Pobierz
Hybrydowy planer konkretny HSA (SMT + Symulowane wyżarzanie) Pobierz
Hybrydowy planer konkretny HGEO (SMT + GEO)Już wkrótce do pobrania

Moduły pomocnicze i biblioteki:

Nazwa modułu lub bibliotekiPliki
Nazwa modułu lub bibliotekiPliki
Biblioteka ArtSmtLib Pobierz
Tester planów (CapTester2.0) Pobierz
MultisetExplorer Pobierz
Kolektor ofert (OfferCollector2.0) Pobierz
Biblioteka Planics-commons Pobierz
Parser (PlanicsParser2.0) Pobierz
Repozytorium usług Pobierz
Moduł BPEL Pobierz
Interfejs graficzny (aplikacja GWT integrująca wszystkie moduły) Pobierz

Dodatkowe narzędzia:

Nazwa narzędziaPliki
Nazwa narzędziaPliki
Edytor ontologi (wersja 4.0) Pobierz
Generator ontologii Pobierz
Generator WSDL Pobierz

Ostatnia aktualizacja: 18.01.2016

System jest nadal rozwijany a pliki do pobrania są cyklicznie aktualizowane.