ocaml/opam-repository — pull request #1537 by pondering (2014-01-06 00:18:58+00:00)
Title: fix(simple-bmc): update information, add more expression

1. correct license information
2. add integral expression