Data and contributions for DiscreteZOO
This repository is organized as follows:
-
contributions
: User contributions to the database to be merged into the main database. Typically, this will be empty in themaster
branch - instead, user contributions will be made to thecontributions
branch and later merged. -
datasets
: Specifications of datasets to be exported from the database for local use. -
objects
: Specifications of database objects.