CoCo Tools

Confluence Tools

Select which tools you want to run by 'year'/'category'/'tool'

2016
- CTRS
  - CO3
  - CoScart
  - ConCon
  - ConCon+CeTA
- HRS
  - ACPH
  - CSI^ho
- TRS
  - ACP
  - ACP+CeTA
  - CSI
  - CSI+CeTA
  - CoLL-Saigawa
2015
- CTRS
  - CO3
  - CoScart
  - ConCon
  - ConCon+CeTA
- HRS
  - ACPH
  - CSI^ho
- TRS
  - ACP
  - ACP+CeTA
  - CSI
  - CSI+CeTA
  - CoLL-Saigawa
2014
- CTRS
  - CO3
  - ConCon
- TRS
  - ACP
  - CSI
  - CoLL
  - Saigawa
2013
- TRS
  - ACP
  - CSI
  - Saigawa
2012
- TRS
  - ACP
  - CSI
  - Saigawa

Enter a rewrite system

For input formats see
  http://coco.nue.riec.tohoku.ac.jp/problems/trs.php
for TRSs,
  http://coco.nue.riec.tohoku.ac.jp/problems/ctrs.php
for CTRSs, and
  http://coco.nue.riec.tohoku.ac.jp/problems/hrs.php
for HRSs.

, upload a file or import a Cop: