v1.0.2

Denis Merigoux

@denismerigoux

d3d2fca5 · New code reorg, now only two packages · Aug 12, 2019

New from v1.0.1 : code reorganisation, specifisc, Mvg to Z3