提交历史

作者 SHA1 备注 提交日期
  Jordi Boggiano 18492a1f84 Remove Pool::getMaxId and the solver's reliance on it 13 年之前
  Nils Adermann 76f8642feb Remove duplicate function from decisions 13 年之前
  Nils Adermann 5b1a48663e DecisionQueueFree is no longer needed 13 年之前
  Nils Adermann 2fbc04b950 Make decisions countable and use foreach to iterate them in solver 13 年之前
  Nils Adermann 26e051cb76 Decisions are now encapsulated in a separate object 13 年之前