Vol.3, No.5.

UNSATlog

4月のまとめ

第1週は好調に進んでこのまま0.15にしてしまおうかという勢いだったのですが、ちょっとブレークを置いて違うことを始めたらsplrどころではなくなってしまいました。 あと電気代が高くなってベンチマークなんかやっとられんわ。まあほぼ今やれることはやったのでドキュメント更新して0.15をリリースしようと思います。

ちなみに、では4月はどういう月だったかというと、

てな感じです。

ということでソースには手を加えることなく0.15をリリースします、近日中に。