SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.
Primary LanguageScalaMIT LicenseMIT