Skip to content
0.5.0
Giovanni Ciatto's avatar
Giovanni Ciatto
@gciatto-unibo
a8415de5 · rename AbstractUnificationStrategy -> AbstractUnificator · 
parser and improvements