Clone this repo:

Branches

  1. 9e3f24b Fix for the bug discovered by Sergio Segura. by dleberre · 11 years ago master
  2. aaa32e6 Improved command line from Emmanuel and fix for up and down from me. by dleberre · 12 years ago
  3. 5f8b4d6 added aligned property. by dleberre · 12 years ago
  4. 0f5c795 Started working on the new version of the solver for MISC2012. by dleberre · 12 years ago
  5. 2724fad Merge branch 'master' of http://git.eclipse.org/gitroot/equinox/rt.equinox.incubator by dleberre · 12 years ago
  6. 7dac274 git ignore stuff by DJ Houghton · 12 years ago
  7. c9e34b3 Prevent a NPE if an error occurs before the dependencyHelper object is created. by dleberre · 13 years ago
  8. 08bf8f5 Added new optimisation criteria versionchanged that represent the number by Daniel Le Berre · 13 years ago
  9. e2ef238 Added fixes for problems detected during MISC 2011. Release 1.14. by Daniel Le Berre · 13 years ago
  10. 8607b25 Fixed issue discovered during MISC 2011 about the sum() feature (need by Daniel Le Berre · 13 years ago
  11. e6e2d30 Added m2e pref files to make it work out-of-the-box with Eclipse 3.7 + by Daniel Le Berre · 13 years ago
  12. b4064ea Removing debug message regarding sum property. by Daniel LeBerre · 13 years ago
  13. 140c2c0 A bit more robust sum criteria: if the property does not exists, nothing happens (it is basically ignored), while if a property is not an integer, the solver will stop with an explicit message. by Daniel LeBerre · 13 years ago
  14. 14c9c99 Fixed a few disgrace spaces on the console in verbose mode. by Daniel LeBerre · 13 years ago
  15. 3bb7288 Added a new method to display a string containing already a logging prefix. by Daniel LeBerre · 13 years ago
  16. 8b8db3c Rely on Sat4j 2.3.1-SNAPSHOT instead of 2.2.3 by Daniel LeBerre · 13 years ago
  17. 25cf264 Added sum criterion, based on the upcoming 2.3.1 release of Sat4j. by Daniel LeBerre · 13 years ago
  18. cc5a917 fixed trendy shortcut. by Daniel LeBerre · 13 years ago
  19. 852e584 Fixed import statements. by Daniel LeBerre · 13 years ago
  20. af6a515 Using long instead og BigInt in the PB solver. by Daniel LeBerre · 13 years ago