![](/statics/img/blank.png)
XML-SAT
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/xml-sat/files/release/xml-sat-0.1.zip/download
O XML-SAT
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.
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