Emanuele De Angelis

CHCコンペでは、ソルバーの進歩とプログラム検証への応用が紹介されたよ。