SAT System Description.
Armando Tacchella · 1999
*SAT is a platform for the development of decision procedures for modal and description logics. Currently, *SAT handles the expressive power of ALC and features several decision procedures for classical modal logics. *SAT provides an open, easy to maintain, yet efficient implementation framework. These goals are achieved through a modular design and the extensive reuse of software components from state-of-the-art systems for propositional satisfiability and model checking.