Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. EulerSharp

EulerSharp 2011-06-24

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów
Pobierz

Euler jest silnikiem wnioskowania potwierdzającym dowody oparte na logice. Jest to rozumowanie do łańcucha wstecznego wzbogacone o wykrywanie ścieżki Eulera. Posiada implementacje w Java, C#, Python, Javascript i Prolog. Via N3 jest interoperacyjny z W3C Cwm.

historia wersji

  • Wersja Euler-2011-06-24 opublikowany na 2011-06-25
  • Wersja Euler-2011-03-25 opublikowany na 2011-03-25
    Kilka poprawek i aktualizacji

Szczegóły programu

Programy pokrewne

  • g15tools Wolna

    Narzędzia przestrzeni użytkownika dla klawiatury logitech g15. Narzędzia te mogą być używane do wyświetlania niestandardowych treści na ekranie LCD, a także do obsługi dodatkowych klawiszy klawiatury.

  • ARNUX Wolna

    Witamy w ARNUX: Open Source Embedded Linux Project. Pierwsza turecka wbudowana dystrybucja Linuksa. System operacyjny zarówno osadzony, jak i oparty na konsoli. Sponsorowane przez ARDIC (Applied Research Development Innovatio

  • Squirrel Shell Wolna

    Squirrel Shell to wieloplatformowa alternatywa dla powłok systemowych, takich jak bash w Linuksie i cmd.exe w systemie Microsoft Windows. Jest on oparty na języku skryptów "Squirrel".

  • wekula - A web interface to Bacula Wolna

    wekula jest interfejsem internetowym do systemu tworzenia kopii zapasowych Bacula. Dzięki niemu będziesz mógł zmienić ustawienia Bacula, zatrzymać / uruchomić demona Bacula, zrobić wyszukiwanie pojedynczych plików i przywraca

  • libfallocate Wolna

    Systemy plików mogą uniknąć fragmentacji, jeśli wiedzą, jak duże będą pliki.Ta biblioteka zawiera otokę dla fallocate() syscall (jak glibc-2.10+), ale także zna xfs/ocfs2 ioctl i zapewnia rezerwy lepiej niż posix_fallocate(

  • AAT Direct Connect Hub Project Wolna

    Skrypty i mody centrum napisane w celu zwiększenia OpenDCHub.Skrypt Hub-Security filtruje niezarejestrowanych użytkowników według kraju i dodaje polecenia operacji i funkcje zabezpieczeń. Dostępne są również skrypty statyst

  • yydecode -- decodes yEnc/uuencoded binar Wolna

    yydecode to wysoce przenośny dekoder do kodowanych plików binarnych yEnc naUsenet. Oferuje doskonałą funkcjonalność uudecode i może być używany jako zamiennik drop-in.

  • ice Updater Wolna

    ice Updater - sriptable rozwiązanie dla zautomatyzowanej i centralnej aktualizacji MS Office. Międzynarodowe wyszukiwanie i pobieranie brakujących poprawek i dodatków Service Pack. Cicha instalacja poprawek na komputerze loka

  • GACSoft Free Driver Updater Wolna

    Opis GACSoft Free Driver Updater:Darmowe narzędzie sterownika, aby doskonale zaktualizować sterowniki PC w ciągu zaledwie kilku minut ...Ten wiek to czas technologii informacyjnej. Wraz z rozwojem zaawansowanych technolog

  • V-Drive Wolna

    V-Drive to mała aplikacja, która tworzy wirtualny dysk twardy na komputerze z systemem Windows, który uzyskuje dostęp do jego danych z osobistej przestrzeni internetowej dostarczonej przez usługodawcę internetowego, Uni itp.,