regb/scala-smtlib — pull request #1 by colder (2014-06-16 09:11:57+00:00)
Title: Alternative to actual incremental mode

poule request