Brian Huffman 840e99f563 Pass 'verbose' flag through to SBV for :prove and :sat ... This addresses issue #17.		2014-09-26 11:56:32 -07:00
..
Cryptol	Pass 'verbose' flag through to SBV for :prove and :sat	2014-09-26 11:56:32 -07:00
.gitignore	Initial import from internal repo	2014-04-17 15:34:25 -07:00