Submit Software
  1. Home
  2. Linux
  3. Other
  4. S-SAT - Sapienza SAT

S-SAT - Sapienza SAT 06

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

During a course at University "La Sapienza" in Rome I developed a fully working SAT solver based on unit propagation and backtracking; it can read DIMACS files and process cnf formulas of any length(there are no restrictions on the number of literals).

VERSION HISTORY

  • Version s-sat06.beta1 posted on 2009-02-14
    Several fixes and updates
  • Version s-sat06.beta1 posted on 2009-02-14

Program Details

Related Programs

  • KJV Bible (fortune format) Free

    KJV Bible in Unix fortune file format. Each *fortune* is a single verse. Quite nice for Unix shell users and those wishing to generate a "quote of the day" with cron

  • Algebra Cheat Sheet Free

    Algebra Cheat Sheet provides you with the quick reference of formulas in Algebra.Topics include:1. Basic Properties and Facts (includes properties of radicals, exponents, logarithms etc.,2. Factoring and Solving equations

  • Word Trainer Free

    The easiest way to practice vocabulary in your Android device!Missing your mother tongue? Want to add more interesting words? Feel free to contribute to the database and you will help other people practicing your language. Al

  • VOX Compact Spanish + Thesauru Free Trial

    This value software pack consists of Vox Spanish Advanced Dictionary and the excellent Vox Spanish Language Thesaurus. The Vox Spanish Advanced Dictionary offers meanings, examples, idioms and expressions and is ideal for Hig

  • Zelda all series Cheats Free

    **Already Update Ad format to compliance with Google Play Developer Program Policy**Handy Cheats : Zelda all seriesFeatures of the application include:-Collections of Cheats and Codes for The Legend of Zelda all classic serie

  • Sai Satcharitra English Free Trial

    Now also available in hindi - https://market.android.com/details?id=com.mgw.SaiSatCharitraHindiOm Shree Sainathaya Namah!!!Shirdi Sai Baba's Satcharitra in English - 52 Chapters including Aarti and Epilogue.Satcharitra Saptah

  • Pro Cheats Pokemon White 2 Edn Free

    This app includes Codes, Cheats, Pokedex, Legendary Pokemon Guide, Form Changes, Top 10 Pokemon By Stat, Tips and much more for Pokemon White 2!*This app is unofficial, please read Disclaimer at bottom of description* Need so

  • Conquest Flex Viewer Free

    ConquestWebView is a web based dicom viewer for the conquest dicom server application available from http://www.xs4all.nl/~ingenium/dicom.html. The project is written in PHP and Flex. Note that the system converts DICOM image

  • Atmel AT90USB 802.11g Wireless Project Free

    This project provides an inexpensive solution to 802.11g wireless communication using off the shelf hardware and open source technologies. This uses the Atmel AT90USB micro and the ZyDas ZD1211B wireless chipset. Developed by

  • LDS Hymns with Notes Free Trial

    This is an unofficial app featuring the music of The Church of Jesus Christ of Latter-Day Saints!Features the LDS Hymns in English, Spanish, French, and Portuguese!This app allows you to view the LDS hymns - both as text and