Fri, 29 Oct 2010 18:17:04 +0200 | boehmes | introduced SMT.distinct as a representation of the solvers' built-in predicate; check that SMT.distinct is always applied to an explicit list | changeset | files |
Fri, 29 Oct 2010 17:38:57 +0200 | wenzelm | merged | changeset | files |