Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. S-SAT - Sapienza SAT

S-SAT - Sapienza SAT 06

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.0/5 - ‎1 ‎Suara
Download

Selama kursus di Universitas "La Sapienza" di Roma saya mengembangkan pemecah SAT yang sepenuhnya bekerja berdasarkan perambatan unit dan backtracking; dapat membaca file DIMACS dan memproses rumus cnf dengan panjang berapa pun (tidak ada batasan jumlah literal).

Riwayat versi

  • Versi s-sat06.beta1 diposting di 2009-02-14
    Beberapa perbaikan dan pembaruan
  • Versi s-sat06.beta1 diposting di 2009-02-14

Detil Program

Program Terkait

  • KJV Bible (fortune format) Gratis

    Alkitab KJV dalam format file keberuntungan Unix. Setiap *keberuntungan* adalah satu ayat. Cukup bagus untuk pengguna shell Unix dan mereka yang ingin menghasilkan "quote of the day" dengan cron

  • Algebra Cheat Sheet Gratis

    Lembar Contekan Aljabar memberi Anda referensi cepat rumus di Aljabar.Topik meliputi:1. Sifat dan Fakta Dasar (termasuk sifat radikal, eksponen, logaritma, dll.,2. Persamaan faktoring dan pemecahan3. Metode penyelesai

  • Word Trainer Gratis

    Cara termudah untuk berlatih kosakata di perangkat Android Anda!Kehilangan lidah ibumu? Ingin menambahkan kata-kata yang lebih menarik? Jangan ragu untuk berkontribusi pada database dan Anda akan membantu orang lain berla

  • VOX Compact Spanish + Thesauru Uji Coba Gratis

    Paket perangkat lunak nilai ini terdiri dari Vox Spanish Advanced Dictionary dan Vox Spanish Language Thesaurus yang sangat baik. Vox Spanish Advanced Dictionary menawarkan makna, contoh, idiom dan ekspresi dan sangat ideal

  • Zelda all series Cheats Gratis

    **Sudah Perbarui format Iklan untuk mematuhi Kebijakan Program Developer Google Play**Handy Cheats : Zelda semua seriesFeatures aplikasi termasuk:-Koleksi Cheats and Codes untuk The Legend of Zelda semua seri klasik seperti d

  • Sai Satcharitra English Uji Coba Gratis

    Sekarang juga tersedia dalam bahasa hindi - https://market.android.com/details?id=com.mgw.SaiSatCharitraHindiOm Shree Sainathaya Namah!!!Satcharitra Shirdi Sai Baba dalam bahasa Inggris - 52 Bab termasuk Aarti dan Epil

  • Pro Cheats Pokemon White 2 Edn Gratis

    Aplikasi ini termasuk Kode, Curang, Pokedex, Panduan Pokemon Legendaris, Perubahan Formulir, 10 Pokemon By Stat Teratas, Tips dan banyak lagi untuk Pokemon White 2!*Aplikasi ini tidak resmi, silakan baca Penafian di bagian ba

  • Conquest Flex Viewer Gratis

    ConquestWebView adalah penampil dicom berbasis web untuk aplikasi server dicom penaklukan yang tersedia dari http://www.xs4all.nl/~ingenium/dicom.html. Proyek ini ditulis dalam PHP dan Flex. Perhatikan bahwa sistem mengonvers

  • Atmel AT90USB 802.11g Wireless Project Gratis

    Proyek ini menyediakan solusi murah untuk komunikasi nirkabel 802.11g menggunakan perangkat keras rak dan teknologi sumber terbuka. Ini menggunakan micro Atmel AT90USB dan chipset nirkabel ZyDas ZD1211B. Dikembangkan oleh Dav

  • LDS Hymns with Notes Uji Coba Gratis

    Ini adalah aplikasi tidak resmi yang menampilkan musik Gereja Yesus Kristus dari Orang-Orang Suci Zaman Akhir!Menampilkan Nyanyian Pujian LDS dalam bahasa Inggris, Spanyol, Prancis, dan Portugis!Aplikasi ini memungkink