meta

This repository contains 2 models ranked according to the number of comitted changes. You can search for a particular model by filtering the list using the model name, the logic name, or the name of logical symbols such as classes, individuals, and properties.