GitHub - wweic/simple-bmc: Simple formula compiler

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
data_file		data_file
src		src
.gitignore		.gitignore
Makefile		Makefile
README		README
_oasis		_oasis
_tags		_tags
myocamlbuild.ml		myocamlbuild.ml
setup.ml		setup.ml

Repository files navigation

simple-bmc
==========

Transform Hybrid automata into SMT formula which is solvable by dReal(https://github.com/soonhokong/dReal). 

Authors
==========
Soonho Kong soonhok@cs.cmu.edu
Wei Chen weichen1@andrew.cmu.edu

Build
==========
make

News
==========
The development has moved to dReal(https://github.com/soonhokong/dReal).