Merge pull request #26 from ahmedirfan1983/btor
authorClifford Wolf <clifford@clifford.at>
Wed, 12 Feb 2014 22:46:58 +0000 (23:46 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 12 Feb 2014 22:46:58 +0000 (23:46 +0100)
commit6b210d2b6f4ec6c2bf9a51d43a75e987e79cc4a5
tree16367a934125bba74f956fd2f0608e1350faea19
parent08caa631dd3327b3b40938eeb942a58ef4ca9e16
parentac896c63e287aeeb7947602af0e5f8b115e0b833
Merge pull request #26 from ahmedirfan1983/btor

Btor