Commit History

Author SHA1 Message Date
  Jordi Boggiano ff59bbdab0 CS fixer 7 years ago
  Nils Adermann 11c59baf59 Remove useless property in exception class 13 years ago
  Nils Adermann 37d271271d Turn assertions into solver bug exceptions with more info 13 years ago