Datasets for Tertius

Here are the files containing the language description and the datasets for several domains. The files are tarred and gzipped.

• Classification: Mutagenesis
• Probelm-solving and planning
• Functional dependencies: index
• Multiple-predicate learning: family

---