![](/statics/img/blank.png)
PSAT
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://sourceforge.net/projects/psat/files/PsatColGen/PsatColGen.tar.gz/download
O PSAT
Jest to projekt mający na celu stworzenie oprogramowania do decydowania o probabilistycznym problemie satisfiability (PSAT) w ramach logicznego podejścia.
Programy pokrewne
-
UrlPaster Bookmark Manager Bezpłatna wersja próbna
Czy masz do czynienia z problemem: trudniej jest znaleźć ulubiony element zakładki z coraz więcej zakładek w IE ulubionych?Czy czujesz się zniechęcający w obliczu pustych ulubionych przeglądarki IE po ponownym zainstalowani
-
TeleMessage MS-Outlook Plug-in (Corporate 10,000 Messages) Bezpłatna wersja próbna
Wtyczka TeleMessage MS-Outlook umożliwia wysyłanie wiadomości e-mail jako wiadomości tekstowych SMS, połączeń telefonicznych i faksów. Możesz również otrzymywać powiadomienia e-mail, przypomnienia o spotkaniach i odpowiadać n
-
PC MP3 Splitter Bezpłatna wersja próbna
Pc MP3 Splitter 1.2 pozwala na dzielenie i cięcie plików audio MP3, WAV, WMA, łatwo! Wszystko za pomocą kilku kliknięć myszką, z wysokiej jakości wynikami. Pliki audio MP3 można łatwo podzielić przez 3 tryby: z pozycji X na Y
-
MIREX Wolna
MIREX (MapReduce Information Retrieval Experiments) zapewnia rozwiązania do łatwego i szybkiego uruchamiania eksperymentów wyszukiwania informacji na dużą skalę na klastrze maszyn korzystających z Hadoop. Wersja 0.2 zawiera n
-
carpool mumbai Wolna
Carpool, Carpooling, Carpool India, Carpool Delhi, Carpool Noida, Carpool Mumbai, Carpool Bangalore, Carpool Hyderabad, Rideshare, Carshare, Carpool z Delhi do Noida, http://poolmycar.in/
-
Science Fiction 2D Game Engine Wolna
Modułowy i wieloplatformowy obiektowy silnik 2D. Jest zaprogramowany w języku C++ i używa kilku bibliotek SDL do interakcji we/wy i synchronizacji. Na początku wydaje się, że jest to narzędzie do tworzenia gier, ale przyszłoś
-
Wakeup Bezpłatna wersja próbna
Wakeup - zdalne wznawianie (włączanie zasilania) przez sieć LAN. To po prostu - Wybierz komputery z listy i naciśnij "Wake!" przycisk ! Komputery mogą być wybudowywanie ze stanu uśpienia, czuwania, hibernacji, wyłąc
-
XTBG - Expiremental turn based game Wolna
Gra turnmental expiremental, zaprojektowana jako plac zabaw do testowania dynamicznych mechanizmów rzucania zdarzeń i reagowania na wydarzenia.
-
KaZaA Lite Plus Wolna
KaZaA Lite Plus to klient udostępniania plików open source, który przeszukuje sieć fast track, na której działają KaZaA i Grokster, a także przeszukuje sieć Gnutella2, więc jest o wiele więcej plików niż KaZaA Media Desktop,
-
KABcam Bezpłatna wersja próbna
Pokaż swój świat w internecie z KABcam! Z oprogramowaniem kabcam kamery można publikować do minut obrazy na swojej stronie internetowej szybko i łatwo. Dodaj do obrazu baner tekstowy, aktualną pogodę, znacznik czasu/daty, a