Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. S-SAT - Sapienza SAT

S-SAT - Sapienza SAT 06

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

Podczas kursu na Uniwersytecie & La Sapienza & w Rzymie opracowałem w pełni działający solver SAT oparty na propagacji jednostki i wycofywaniu; może odczytywać pliki DIMACS i przetwarzać formuły cnf o dowolnej długości (nie ma ograniczeń co do liczby literałów).

historia wersji

  • Wersja s-sat06.beta1 opublikowany na 2009-02-14
    Kilka poprawek i aktualizacji
  • Wersja s-sat06.beta1 opublikowany na 2009-02-14

Szczegóły programu

Programy pokrewne

  • KJV Bible (fortune format) Wolna

    Biblia KJV w formacie uniksa fortuny. Każda *fortuna* to jedna zwrotka. Całkiem ładne dla użytkowników powłoki Unix i tych, którzy chcą wygenerować "quote dnia & z cron cron

  • Algebra Cheat Sheet Wolna

    Algebra Cheat Sheet zapewnia szybkie odniesienie do formuł w Algebrze.Tematy obejmują:1. Podstawowe właściwości i fakty (w tym właściwości radykałów, wykładników, logarytmów itp.,2. Równania faktoringu i rozwiązywania

  • Word Trainer Wolna

    Najprostszym sposobem, aby ćwiczyć słownictwo w urządzeniu z Androidem!Brakuje ci języka ojczystego? Chcesz dodać więcej ciekawych słów? Zapraszam do udziału w bazie danych, a pomożesz innym ludziom praktykującym twój jęz

  • VOX Compact Spanish + Thesauru Bezpłatna wersja próbna

    Ten pakiet oprogramowania wartość składa się z Vox Hiszpański Advanced Dictionary i doskonałe Vox Język hiszpański Tezaurus. Vox Spanish Advanced Dictionary oferuje znaczenia, przykłady, idiomy i wyrażenia i jest idealny dl

  • Zelda all series Cheats Wolna

    ** Już aktualizacja formatu reklamy do zgodności z Google Play Developer Program Policy ** Handy Cheats: Zelda wszystkie serieWyjścia aplikacja to: -Kolekcje kodów i kodów do Legend of Zelda wszystkie klasyczne serie jak poni

  • Sai Satcharitra English Bezpłatna wersja próbna

    Teraz również dostępne w języku hindi - https://market.android.com/details?id=com.mgw.SaiSatCharitraHindiOm Shree Sainathaya Namah!!!Shirdi Sai Baba satcharitra w języku angielskim - 52 rozdziały, w tym Aarti i Epilogu

  • Pro Cheats Pokemon White 2 Edn Wolna

    Ta aplikacja zawiera kody, Kody, Pokedex, Legendarny Pokemon Guide, Zmiany formy, Top 10 Pokemon By Stat, Porady i wiele więcej dla Pokemon White 2!* Ta aplikacja jest nieoficjalna, przeczytaj zastrzeżenie na dole opisu * Pot

  • Conquest Flex Viewer Wolna

    ConquestWebView to internetowa przeglądarka dicom dla aplikacji serwera conquest dicom dostępnej od http://www.xs4all.nl/~ingenium/dicom.html. Projekt jest napisany w PHP i Flex. Należy pamiętać, że system konwertuje obrazy D

  • Atmel AT90USB 802.11g Wireless Project Wolna

    Ten projekt zapewnia niedrogie rozwiązanie dla komunikacji bezprzewodowej 802.11g przy użyciu sprzętu off shelf i technologii open source. Wykorzystuje to mikro Atmel AT90USB i bezprzewodowy chipset ZyDas ZD1211B. Opracowany

  • LDS Hymns with Notes Bezpłatna wersja próbna

    Jest to nieoficjalna aplikacja z muzyką Kościoła Jezusa Chrystusa Świętych w Dniach Ostatnich!Zawiera hymny LDS w języku angielskim, hiszpańskim, francuskim i portugalskim!Ta aplikacja pozwala na przeglądanie hymnów LD