Skip to content

Add reduit predicate

GRASLIN Liam requested to merge equation-reduction into main

Predicat reduit(R, E, P, Q)

Transforme le système d'équations P en le système d'équations Q par application de la règle de transformation R à l'équation E

Merge request reports