Usage ===== Usage: ./fortify ANSWER FORMULA CERTIFICATE TRS_FILES.. Input Formats ------------- - ANSWER is either YES or NO - FORMULA uses the same syntax as FORT-h (see https://fortissimo.uibk.ac.at/fort(ify)/description/fort-h.txt) - TRS_FILES use the CoCo FORMATs: * TRS Format: http://project-coco.uibk.ac.at/problems/trs.php * inlined COM Format: http://project-coco.uibk.ac.at/2019/categories/commutation.php