COIN Trieste
v0.9.3.2
