1. 963fd86 typo fix by Lev Walkin · 7 years ago
  2. 40fa826 135 add optionals to make it interesting by Lev Walkin · 7 years ago
  3. a2abcaa add OER to -print-constraints by Lev Walkin · 7 years ago
  4. b228447 add OER INTEGER constraint check by Lev Walkin · 7 years ago