News:Certification Problem Format: Difference between revisions
No edit summary |
typo |
||
| Line 11: | Line 11: | ||
{{News | {{News | ||
|text= [[Tools:A3PAT]], [[Tools:CeTA]], and [[Tools:CoLoR]] | |text= [[Tools:A3PAT]], [[Tools:CeTA]], and [[Tools:CoLoR]] have agreed upon a common [http://cl-informatik.uibk.ac.at/software/cpf certification problem format]. | ||
|date= Sep 29, 2009 | |date= Sep 29, 2009 | ||
}} | }} | ||
Latest revision as of 13:48, 7 October 2009
Sep 29, 2009
Tools:A3PAT, Tools:CeTA, and Tools:CoLoR have agreed upon a common certification problem format.