Commit f1f3b02f authored by Baptiste Esteban's avatar Baptiste Esteban
Browse files

Solve type issue in satmaxtree

parent 2532578a
Pipeline #30541 passed with stages
in 14 minutes and 6 seconds