v0.5.1
Fix for an excessive allocation problem in nsoli and ptcsoli.
Second and final case study in 0.5.2
Final(?) pollishing and repo reorg for 0.5.3
Fix for an excessive allocation problem in nsoli and ptcsoli.
Second and final case study in 0.5.2
Final(?) pollishing and repo reorg for 0.5.3