Introduce `Prop` newtype wrapper for `Term`s representing propositions as types#614

Merged

brianhuffman merged 6 commits intomasterfrom bh-prop

Dec 26, 2019

+310-292

Commits on Dec 12, 2019

Rename many functions from "sat*" to more accurate name "prove*".
Brian Huffman
committed
Fix compiler warning.
Brian Huffman
committed
Introduce newtype wrapper Prop for Terms that are propositions.
Brian Huffman
committed
Fix wrong quantifier convention for offline_smtlib2. Fixes #613 .
Brian Huffman
committed

Commits on Dec 19, 2019

Merge branch 'master' into bh-prop
andreistefanescu
authored

Commits on Dec 21, 2019

Merge branch 'master' into bh-prop
brianhuffman
authored