![](/statics/img/blank.png)
XML-SAT
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
Về XML-SAT
Một bộ giải SAT mô-đun dựa trên Minisat. Các mô-đun được mô tả trong xml-files, được xử lý bởi một kịch bản perl; do đó tạo ra n-solvers.
Các chương trình liên quan
-
TimeSignalForDroid Miễn phí
Giờ mỗi giờ và thông báo cho bạn bằng cách rung.Thông báo thời gian để tiếng Nhật.
-
SVATS Miễn phí
SVATS [Phân tích xác minh an toàn được thêm vào Spice] là một công cụ EDA bằng văn bản của Pyhton được sử dụng để thêm khả năng phân tích lặp đi lặp lại để thực hiện FMEAs trên các mạch điện tử analog và hỗn hợp kỹ thuật số t
-
Cube Language Specification Miễn phí
Ngôn ngữ cube là ngôn ngữ lập trình mới, dựa trên aproach mới: lập trình đa chiều. Mục đích của dự án này là mời các chuyên gia tham gia một cuộc thảo luận cởi mở về ngôn ngữ và tạo ra một đặc điểm kỹ thuật.
-
Arrowhead Collector Miễn phí
Các "phải có" ứng dụng cho thu gom bề mặt của arrowheads. Dưới đây là một điểm nổi bật của các tính năng mà bạn sẽ thấy rất hữu ích:- cho một artifact mới được tìm thấy ghi lại vị trí của nó với GPS của điện thoại của bạn
-
eYe project Miễn phí
eYe Project là một phân phối của Sambar Webserver, MySql cơ sở dữ liệu và PhP trong một môi trường Windows. Hoàn thành cấu hình, sẵn sàng để sử dụng. Ngoài ra còn có rất nhiều mô-đun có sẵn để sử dụng trong dự án này. Khái ni
-
Apache Analyzer Miễn phí
Apache Analyzer là một gói ứng dụng Java để phân tích và phân tích các bản ghi Apache. Báo cáo được chuẩn bị dưới dạng tệp PDF. OCEAN GenRap được sử dụng để phân tích dữ liệu. Xem Thông tin chung trong trang Tài liệu.
-
OVal - object validation framework Miễn phí
OVal là một framework xác thực đối tượng có thể mở rộng cho Java 5 trở lên. Chú thích (@NotNull) hoặc tệp cấu hình XML có thể được sử dụng để thể hiện những hạn chế lớp. OVal có thể tùy chọn sử dụng AspectJ để thực thi xác th
-
NaturalOWL Miễn phí
NaturalOWL tạo ra các mô tả của các cá nhân và các lớp học từ OWL ontologies đã được chú thích với ngôn ngữ và người sử dụng mô hình hóa tài nguyên thể hiện trong RDF. Hiện nay nó hỗ trợ tiếng Anh và tiếng Hy Lạp. NaturalOWL
-
NetBeans Source Viewer Service Plugin Miễn phí
Một plugin NetBeans phơi bày một dịch vụ TCP đơn giản cung cấp cho khách hàng bên ngoài cơ bản Java mã nguồn xem và điều hướng khả năng. Đóng góp bởi softwarepearls.com. Mã hóa bởi Ivo Tripunovic và Laurence Vanhelsuw.
-
Spam Agent - SMS Filter Miễn phí
Mệt mỏi của tin nhắn SMS thư rác? Spam Agent là một bộ lọc SMS thông minh sử dụng kỹ thuật học máy để phát hiện và chặn spam. Quên đi danh sách đen rườm rà, chỉ cần đánh dấu thư không mong muốn là spam và đại lý sẽ học hỏi từ