Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. S-SAT - Sapienza SAT

S-SAT - Sapienza SAT 06

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 3.0/5 - ‎1 ‎Phiếu
Tải về

Trong một khóa học tại Đại học & La Sapienza" ở Rome, tôi đã phát triển một bộ giải SAT hoạt động đầy đủ dựa trên tuyên truyền đơn vị và quay ngược; nó có thể đọc các tập tin DIMACS và xử lý công thức CNF của bất kỳ chiều dài (không có hạn chế về số lượng literals).

lịch sử phiên bản

  • Phiên bản s-sat06.beta1 đăng trên 2009-02-14
    Một số bản sửa lỗi và cập nhật
  • Phiên bản s-sat06.beta1 đăng trên 2009-02-14

Chi tiết chương trình

Các chương trình liên quan

  • KJV Bible (fortune format) Miễn phí

    KJV Kinh Thánh ở định dạng tập tin tài sản Unix. Mỗi * tài sản * là một câu thơ duy nhất. Khá tốt đẹp cho người dùng vỏ Unix và những người muốn tạo ra một & báo giá trong ngày & với cron

  • Algebra Cheat Sheet Miễn phí

    Đại số Cheat Sheet cung cấp cho bạn với các tài liệu tham khảo nhanh chóng của các công thức trong Đại số.Các chủ đề bao gồm:1. Thuộc tính cơ bản và sự kiện (bao gồm các thuộc tính của các gốc tự do, số mũ, lô-ga- tử, v.v

  • Word Trainer Miễn phí

    Cách dễ nhất để thực hành từ vựng trong thiết bị Android của bạn!Thiếu tiếng mẹ đẻ của bạn? Bạn muốn thêm nhiều từ thú vị hơn? Hãy đóng góp vào cơ sở dữ liệu và bạn sẽ giúp những người khác thực hành ngôn ngữ của bạn. Tất

  • VOX Compact Spanish + Thesauru Dùng thử miễn phí

    Gói phần mềm giá trị này bao gồm Từ điển nâng cao Tiếng Tây Ban Nha Vox và Từ điển đồng nghĩa ngôn ngữ Tiếng Tây Ban Nha Vox tuyệt vời. Từ điển tiếng Tây Ban Nha vox nâng cao cung cấp ý nghĩa, ví dụ, thành ngữ và biểu thức

  • Zelda all series Cheats Miễn phí

    ** Đã cập nhật định dạng quảng cáo để tuân thủ Chính sách chương trình phát triển của Google Play ** Handy Cheats: Zelda tất cả các series Tính năng của ứng dụng bao gồm:-Bộ sưu tập cheats và mã cho The Legend of Zelda tất cả

  • Sai Satcharitra English Dùng thử miễn phí

    Bây giờ cũng có sẵn trong tiếng Hin- https://market.android.com/details?id=com.mgw.SaiSatCharitraHindiOm Shree Sainathaya Namah!!!Satcharitra của Shirdi Sai Baba bằng tiếng Anh - 52 Chương bao gồm Aarti và Epilogue.

  • Pro Cheats Pokemon White 2 Edn Miễn phí

    Ứng dụng này bao gồm Mã số, Cheats, Pokedex, Huyền thoại Pokemon Hướng dẫn, Thay đổi hình thức, Top 10 Pokemon Bởi Stat, Mẹo và nhiều hơn nữa cho Pokemon trắng 2!*Ứng dụng này là không chính thức, xin vui lòng đọc Disclaimer

  • Conquest Flex Viewer Miễn phí

    ConquestWebView là một trình xem dicom dựa trên web cho ứng dụng máy chủ dicom chinh phục có sẵn http://www.xs4all.nl/~ingenium/dicom.html. Dự án được viết bằng PHP và Flex. Lưu ý rằng hệ thống chuyển đổi hình ảnh DICOM thành

  • Atmel AT90USB 802.11g Wireless Project Miễn phí

    Dự án này cung cấp một giải pháp rẻ tiền để truyền thông không dây 802.11g bằng cách sử dụng phần cứng kệ và công nghệ mã nguồn mở. Điều này sử dụng atmel AT90USB vi và chipset không dây ZyDas ZD1211B. Phát triển bởi David Ga

  • LDS Hymns with Notes Dùng thử miễn phí

    Đây là một ứng dụng không chính thức giới thiệu âm nhạc của Giáo Hội Các Thánh Hữu Ngày Sau của Chúa Giê Su Ky Tô!Có các bài Thánh ca THÁNH HỮU NGÀY SAU bằng tiếng Anh, tiếng Tây Ban Nha, tiếng Pháp và tiếng Bồ Đào Nha!