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

XML-SAT

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

Modułowy solver SAT oparty na Minisat. Moduły są opisane w plikach XML, które są przetwarzane przez skrypt perl; generując w ten sposób n-solvery.

historia wersji

  • Wersja release opublikowany na 2010-04-24
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2010-04-24

Szczegóły programu

Programy pokrewne

  • TimeSignalForDroid Wolna

    Godzina co godzinę i powiadomić cię przez wibracje.Zwróć uwagę na czas do japońskiego głosu.

  • SVATS Wolna

    SVATS [Analiza weryfikacji bezpieczeństwa dodana do Spice] to pisane przez Pyhton narzędzie EDA służące do dodawania powtarzających się możliwości analizy do wykonywania FMEA na analogowych i mieszanych analogowo-cyfrowych ob

  • Cube Language Specification Wolna

    Język kostki to nowy język programowania, oparty na nowym aproach: programowaniu wielowymiarowym. Celem tego projektu jest zaproszenie profesjonalistów do otwartej dyskusji na temat języka i stworzenie specyfikacji.

  • Arrowhead Collector Wolna

    Zastosowanie "must have" dla kolektorów powierzchniowych grotów strzał. Oto najważniejsze cechy, które uważasz za bardzo przydatne:- dla nowo znalezionego artefaktu zapis jego lokalizacji za pomocą GPS telefonu- zrób zd

  • eYe project Wolna

    eYe Project jest dystrybucją Sambar Webserver, MySql bazy danych i PhP w środowisku Systemu Windows. Kompletny skonfigurowany, gotowy do użycia. Istnieje również wiele modułów dostępnych do wykorzystania w tym projekcie. Chod

  • Apache Analyzer Wolna

    Apache Analyzer to pakiet aplikacji Java do analizowania i analizy dzienników Apache. Raporty są przygotowywane jako pliki PDF. Ocean GenRap służy do analizy danych. Zapoznaj się ze stroną Ogólne informacje na stronie Dokumen

  • OVal - object validation framework Wolna

    OVal jest rozszerzalną platformą sprawdzania poprawności obiektów dla środowiska Java 5 lub nowszego. Adnotacje (@NotNull) lub pliki konfiguracyjne XML mogą być używane do wyrażania ograniczeń klasy. OVal może opcjonalnie uży

  • NaturalOWL Wolna

    NaturalOWL generuje opisy osób i klas z onlogie OWL, które zostały oznaczone zasobami modelowania językowego i użytkownika wyrażonymi w RDF. Obecnie obsługuje angielski i grecki. NaturalOWL może być używany jako wtyczka Protg

  • NetBeans Source Viewer Service Plugin Wolna

    Wtyczka NetBeans ujawniająca prostą usługę TCP dającą klientom zewnętrznym podstawowe możliwości przeglądania i nawigacji kodu źródłowego Java. Dodane przez softwarepearls.com. Kodowane przez Ivo Tripunovic i Laurence Vanhels

  • Spam Agent - SMS Filter Wolna

    Masz dość spamu SMS? Spam Agent to inteligentny filtr SMS, który wykorzystuje techniki uczenia maszynowego do wykrywania i blokowania spamu. Zapomnij o uciążliwych czarnych listach, po prostu oznacz niezamówione wiadomości ja