v2.3.6+20160814
d73e5a7e · Merge pull request #469 from yunesj/log_semiring · Aug 14, 2016