GitHub repository: sbhaktha/aristo-tables
Primary language: Scala
Description: Table data and metadata for Aristo solvers.