4 commits

Author	SHA1	Message	Date
Guillaume Bury	4e34bbdf59	Added some headers, and an interface for Expr	2014-12-18 16:04:17 +01:00
Guillaume Bury	ca70f87973	Mcsat now works	2014-12-16 17:30:14 +01:00
Guillaume Bury	566c30bdcc	Added Smt module	2014-11-14 17:40:29 +01:00
Guillaume Bury	4c040ccbde	Added smtlib input option	2014-11-09 23:39:54 +01:00