AI4RIM Back 1 : SARL Solver 0.0.6-SNAPSHOT