CVC4/CVC4 — pull request #10 by kbansal (2014-02-21 13:32:40+00:00)
Title: Sets for merge

adds experimental support for the MLSS (Multi-Level Syllogistic with Singleton) fragment