1. de6fbe0 api change by Lev Walkin · 20 years ago
  2. 02b137d refine by Lev Walkin · 20 years ago
  3. 59004fa new constraints generation method by Lev Walkin · 20 years ago
  4. 84cd58e constraint checking code by Lev Walkin · 20 years ago