ocaml/opam-repository — pull request #1492 by pondering (2013-12-21 17:37:14+00:00)
Title: Add simple-bmc 0.0.1

A tool that translate Hybrid automata into SMT formula which is solvable by dReal(http://dreal.cs.cmu.edu/)