2 Commits (a59a5c45812f3b230ea35d187cb8840272658a45)

Author	SHA1	Message	Date
Nils Adermann	11c59baf59	Remove useless property in exception class	2012-05-09 18:45:53 +02:00
Nils Adermann	37d271271d	Turn assertions into solver bug exceptions with more info	2012-05-09 18:44:14 +02:00