Posts by Michaël Armand Michaël Armand is a development engineer at Systerel. RSS feed (en) Flux RSS (fr) 2019-01-15 10:24Constraint Solving with S3