*SAT project Homepage


*SAT is an effort to develop an efficient and easy-to-maintain platform for experimenting with SAT-based decision procedures. *SAT leitmotif is to investigate the applicability of the SAT-based approach to expressive description logics, modal and temporal logics. Should you have any questions or problems in getting and running *SAT, please send an e-mail to tac@mrg.dist.unige.it. Enjoy!

Getting *SAT Source code and documentation
People People involved in the project
State of the art Tables and graphs summarizing *SAT performances


Back to the MRG home page