System Description: *SAT: A Platform for the Development of Modal Decision Procedures

*sat is a platform for the development of modal decision procedures. Currently, *sat features decision procedures for the normal modal logic K(m) and for the classical modal logic E(m). *sat embodies a state of the art sat solver, and includes techniques for optimizing automated deduction in modal and temporal logics. Owing to its modular design and to the extensive reuse of software components, *sat provides an open, easy to maintain, yet efficient implementation framework.