Merge pull request emina#29 from AlexKnauth/patch-2 use make-variable-like-transformer for fv
Add release notes for Rosette 2.1.
Update the Travis script.
Minor bug fixes.
Merge pull request emina#3 from jamesbornholt/persistent-smtlib Make smtlib servers persistent.