How to contribute

If you want to add your (or your team's) prover or solver to the inventory wiki, please carefully follow the below steps. This guide aims at helping to have a uniform presentation of the different systems. Each entry will be checked by the editors.

Access to editing the Wiki: Please contact one of the editors via-email to get access (please provide your GitHub user account name). If no GitHub account is available, the contribution can be send via e-mail to the editors (e.g., in Mardown or MediaWiki syntax).

How to contribute provers and solvers

1. Add a new page to the wiki, the name of that page needs to be in the format System <system name>
   where <system name> is the name of your system.
2. Copy/paste the template to your new page.
3. Fill in the information as asked from the template.
4. For the input/output format ....
   1. If the system is using a standard format that is already listed in the list of formats, please give the link to the respective format. Please indicate derogations and/or extensions of the standard.
   2. If the system is using a standard format that is not yet listed in the list of formats, please add a short description of the format there (see below) and add its link to your system's description. Please indicate derogations and/or extensions of the standard.
   3. If the system is using a system-specific format, please describe it carefully.
5. Add the system to the table of systems on the list of systems page, if not already present.

How to contribute proof formats/standards

1. Add a new page to the wiki, the name of that page needs to be in the format Format <format name>
   where <format name> is the name of the input/output format.
2. Copy/paste Format Template to your new page.
3. Fill in the information as asked from the template.
4. Add the format to the table of formats on the list of formats page.

How to contribute tools

1. Add a new page to the wiki, the name of that page needs to be in the format Tool <tool name>
   where <tool name> is the name of the tool.
2. Copy/paste Tool Template to your new page.
3. Fill in the information as asked from the template.
4. Add the tool to the table of tools on the list of tools page.

How to report errors etc.

If you spot any errors in the wiki, please create an issue via the repository's ticket system.