Implement handling of CL formulas - Githubissues

Alex23087 / Failure-SSIL-Analyser

GNU General Public License v3.0

1 stars 3 forks source link

Implement handling of CL formulas #10

Closed Yurand2000 closed 1 month ago

Yurand2000 commented 6 months ago

Define which procedures must be applied to CL formulas:

Substitution of terms
Simplification of terms (where applicable)

Subtask:

Is there any library which is suitable for the task?