Software einreichen
  1. Startseite
  2. Linux
  3. Andere
  4. S-SAT - Sapienza SAT

S-SAT - Sapienza SAT 06

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 3.0/5 - ‎1 ‎Stimmen
Herunterladen

Während eines Kurses an der Universität "La Sapienza" in Rom entwickelte ich einen voll funktionsfähigen SAT-Solver auf der Grundlage von Einheitenausbreitung und Backtracking; es kann DIMACS-Dateien lesen und cnf Formeln beliebiger Länge verarbeiten (es gibt keine Einschränkungen für die Anzahl der Literale).

VERSIONSVERLAUF

  • Version s-sat06.beta1 veröffentlicht auf 2009-02-14
    Mehrere Korrekturen und Updates
  • Version s-sat06.beta1 veröffentlicht auf 2009-02-14

Programmdetails

Verwandte Programme

  • KJV Bible (fortune format) kostenlos

    KJV Bibel im Unix-Glücksdateiformat. Jedes *Glück* ist ein einziger Vers. Ganz nett für Unix-Shell-Benutzer und diejenigen, die ein "Zitat des Tages generieren möchten" mit cron

  • Algebra Cheat Sheet kostenlos

    Algebra Cheat Sheet bietet Ihnen den schnellen Verweis auf Formeln in Algebra.Zu den Themen gehören:1. Grundlegende Eigenschaften und Fakten (einschließlich Eigenschaften von Radikalen, Exponenten, Logarithmen usw.,2. F

  • Word Trainer kostenlos

    Der einfachste Weg, um Vokabular in Ihrem Android-Gerät zu üben!Fehlt Ihnen die Muttersprache? Möchten Sie weitere interessante Wörter hinzufügen? Fühlen Sie sich frei, zur Datenbank beizutragen und Sie werden anderen Men

  • VOX Compact Spanish + Thesauru Kostenlose Testversion

    Dieses Wert-Software-Paket besteht aus Vox Spanish Advanced Dictionary und dem ausgezeichneten Vox Spanish Language Thesaurus. Das Vox Spanish Advanced Dictionary bietet Bedeutungen, Beispiele, Idiome und Ausdrücke und ist

  • Zelda all series Cheats kostenlos

    **Bereits Update Ad-Format auf die Einhaltung der Google Play Developer Program Policy **Handy Cheats : Zelda alle serieFeatures der Anwendung enthalten:-Sammlungen von Cheats und Codes für The Legend of Zelda alle klassische

  • Sai Satcharitra English Kostenlose Testversion

    Jetzt auch in hindi - https://market.android.com/details?id=com.mgw.SaiSatCharitraHindiOm Shree Sainathaya Namah!!!Shirdi Sai Baba es Satcharitra in Englisch - 52 Kapitel, darunter Aarti und Epilog.Satcharitra Sapta

  • Pro Cheats Pokemon White 2 Edn kostenlos

    Diese App enthält Codes, Cheats, Pokedex, Legendary Pokemon Guide, Form Changes, Top 10 Pokemon By Stat, Tipps und vieles mehr für Pokemon White 2!* Diese App ist inoffiziell, bitte lesen Sie Haftungsausschluss unten in der B

  • Conquest Flex Viewer kostenlos

    ConquestWebView ist ein webbasierter dicom Viewer für die Conquest dicom Server-Anwendung, die von http://www.xs4all.nl/~ingenium/dicom.html verfügbar ist. Das Projekt ist in PHP und Flex geschrieben. Beachten Sie, dass das S

  • Atmel AT90USB 802.11g Wireless Project kostenlos

    Dieses Projekt bietet eine kostengünstige Lösung für 802.11g drahtlose Kommunikation mit Off-the-Shelf-Hardware und Open-Source-Technologien. Hierbei werden der Atmel AT90USB micro und der ZyDas ZD1211B Wireless Chipsatz verw

  • LDS Hymns with Notes Kostenlose Testversion

    Dies ist eine inoffizielle App mit der Musik der Kirche Jesu Christi der Heiligen der Letzten Tage!Enthält die LDS Hymnen in Englisch, Spanisch, Französisch und Portugiesisch!Diese App ermöglicht es Ihnen, die LDS-Hymn