Closed teiesti closed 1 month ago
*analysing tightness command_line convenience apply unbox formatting -> Format structs asp default fol default tptp parsing -> Parser trait asp pest fol pest *verifying task -> Task trait problem -> Problem struct proof simplifiying fol ht *classic syntax_tree -> Node trait asp fol translating gamma tau_star *completion
Modules marked with an * do not yet exist. The module problem_building should be renamed into verifying/problem.
*
problem_building
verifying/problem
The proposed project structure was completely implemented.
Modules marked with an
*
do not yet exist. The moduleproblem_building
should be renamed intoverifying/problem
.