blegat/SetProg.jl: v0.2.0 - Benoît Legat (2021)