-
Chiheb Amer Abid authored
Add of description of a new parameter in README.md corresponding to new technique for building the SOG during model checking
d4419bf7
Add of description of a new parameter in README.md corresponding to new technique for building the SOG during model checking