1. 9e3f24b Fix for the bug discovered by Sergio Segura. by dleberre · 6 years ago master
  2. aaa32e6 Improved command line from Emmanuel and fix for up and down from me. by dleberre · 7 years ago
  3. 5f8b4d6 added aligned property. by dleberre · 7 years ago
  4. 0f5c795 Started working on the new version of the solver for MISC2012. by dleberre · 7 years ago
  5. 2724fad Merge branch 'master' of http://git.eclipse.org/gitroot/equinox/rt.equinox.incubator by dleberre · 8 years ago
  6. 7dac274 git ignore stuff by DJ Houghton · 8 years ago
  7. c9e34b3 Prevent a NPE if an error occurs before the dependencyHelper object is created. by dleberre · 8 years ago
  8. 08bf8f5 Added new optimisation criteria versionchanged that represent the number by Daniel Le Berre · 8 years ago
  9. e2ef238 Added fixes for problems detected during MISC 2011. Release 1.14. by Daniel Le Berre · 8 years ago
  10. 8607b25 Fixed issue discovered during MISC 2011 about the sum() feature (need by Daniel Le Berre · 8 years ago
  11. e6e2d30 Added m2e pref files to make it work out-of-the-box with Eclipse 3.7 + by Daniel Le Berre · 8 years ago
  12. b4064ea Removing debug message regarding sum property. by Daniel LeBerre · 8 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 · 8 years ago
  14. 14c9c99 Fixed a few disgrace spaces on the console in verbose mode. by Daniel LeBerre · 8 years ago
  15. 3bb7288 Added a new method to display a string containing already a logging prefix. by Daniel LeBerre · 8 years ago
  16. 8b8db3c Rely on Sat4j 2.3.1-SNAPSHOT instead of 2.2.3 by Daniel LeBerre · 8 years ago
  17. 25cf264 Added sum criterion, based on the upcoming 2.3.1 release of Sat4j. by Daniel LeBerre · 8 years ago
  18. cc5a917 fixed trendy shortcut. by Daniel LeBerre · 9 years ago
  19. 852e584 Fixed import statements. by Daniel LeBerre · 9 years ago
  20. af6a515 Using long instead og BigInt in the PB solver. by Daniel LeBerre · 9 years ago
  21. 5b535b0 Takes into account criteria naming change in MISC Live 3: unsat_recommends instead of unmet_recommends. by Daniel LeBerre · 9 years ago
  22. 3061d04 target directory in cvsignore. by Daniel LeBerre · 9 years ago
  23. b46a6c8 Change dependency to SAT4J 2.2.3 to be able to make a release. by Daniel LeBerre · 9 years ago
  24. b665bc9 Solver configuration uses simple simplifications and Luby restarts. by Daniel LeBerre · 9 years ago
  25. 0ff9efb Use luby style restarts instead of Biere ones. by Daniel LeBerre · 9 years ago
  26. 6079e6f Changed version to 1.11-SNAPSHOT by Daniel LeBerre · 9 years ago
  27. 5591e6e Added back support for paranoid and trendy shortcuts. by Daniel LeBerre · 9 years ago
  28. f7fe877 Enforce Maven version 3.0 by Pascal Rapicault · 9 years ago
  29. e7e14e0 Add the highest version available to the slice so we can compute upToDate objective properly by Pascal Rapicault · 9 years ago
  30. 9a1813d Missing org.eclipse.core.runtime classes added by Pascal Rapicault · 9 years ago
  31. 6a21655 Reintroduce simplified version of NLS class because the original one pulls too much by Pascal Rapicault · 9 years ago
  32. 238bb1c Add comment to pom.xml by Pascal Rapicault · 9 years ago
  33. 2b0146a Setup Maven build by Pascal Rapicault · 9 years ago
  34. 5de52cf Fix management of optional dependencies: in case of empty matches, create the constraint to compute properly the score. by Daniel LeBerre · 9 years ago
  35. 672ca34 Updated version of sat4j. by Daniel LeBerre · 9 years ago
  36. b5a770e New version of SAT4J, including the ability to check is a solution found is optimal or not. by Daniel LeBerre · 9 years ago
  37. fd635f3 The solver now explicitly displays if the solution found is optimal or not. by Daniel LeBerre · 9 years ago
  38. d25a2c2 Prevent people from using the encoding option, since it is no longer available. by Daniel LeBerre · 9 years ago
  39. cb19ef4 Remove reference to named criteria. by Daniel LeBerre · 9 years ago
  40. 0bb14bc Removed optional dependencies from meta IU from the optimization function. by Daniel LeBerre · 9 years ago
  41. 4ae6a7b Added criteria size information. by Daniel LeBerre · 9 years ago
  42. 16e2853 Uses LexicoHelper. by Daniel LeBerre · 9 years ago
  43. 079a7dc Using lexico optimization instead of classical boolean optimization. by Daniel LeBerre · 9 years ago
  44. 9582378 Using implications instead of equivalences in optimization function encoding. by Daniel LeBerre · 9 years ago
  45. 468156d New release of Sat4j including lexico optimization. by Daniel LeBerre · 9 years ago
  46. 4336f3e Prefix list of dependencies with a OR by Daniel LeBerre · 9 years ago
  47. baec20d Add optional state to the ORed requirement. by Daniel LeBerre · 9 years ago
  48. 9fa97e3 Fixed OR requirements to allow it to return optional state. by Daniel LeBerre · 9 years ago
  49. 393324b Output the diff by Pascal Rapicault · 9 years ago
  50. 213a051 Solver comparator by Pascal Rapicault · 9 years ago
  51. 4e1eefd Simplified the way the optimization function is built (thanks DependencyHelper!) by Daniel LeBerre · 9 years ago
  52. 05618a4 Fixed usage message. by Daniel LeBerre · 9 years ago
  53. a191b93 Fixed a few warning from Eclipse compiler. by Daniel LeBerre · 9 years ago
  54. 5e3d9e9 New release of SAT4J (2.2.3-SNAPSHOT) by Daniel LeBerre · 9 years ago
  55. 943551d Finalized support for user defined optimization function. by Daniel LeBerre · 9 years ago
  56. 13dbbf8 Removed p2 objective function. by Daniel LeBerre · 9 years ago
  57. a265c59 Got now a timeout of 5 minutes by default. by Daniel LeBerre · 9 years ago
  58. 03d28b0 New release of SAT4J (2.2.1 snapshot). by Daniel LeBerre · 9 years ago
  59. f761617 No longer use options inside the parser. Fixed management of singleton. by Daniel LeBerre · 9 years ago
  60. 9d3f0fd Fixed test cases. by Daniel LeBerre · 9 years ago
  61. 0c5f7bf Made user defined objective function and predefined ones exactly similar. by Daniel LeBerre · 9 years ago
  62. 3ef5176 Fixed a few typos (notupTOdate, package names in proof, etc). by Daniel LeBerre · 9 years ago
  63. 6738fda Added user defined optimization function. by Daniel LeBerre · 9 years ago
  64. 2b3feeb Displaying proof per criteria. by Daniel LeBerre · 9 years ago
  65. 2e1155c Use named variables. by Daniel LeBerre · 9 years ago
  66. 4078282 Fixed wrong comments. by Daniel LeBerre · 9 years ago
  67. 954dbc5 Fixed the encoding of the optionality. by Daniel LeBerre · 9 years ago
  68. aa231aa Enable recommends property only for trendy criteria. by Daniel LeBerre · 9 years ago
  69. 332fe6d Fixing bug on self conflict appearing in MISC. by Daniel LeBerre · 9 years ago
  70. ac4a846 Updated the version of sat4j to fix the format of the objective function in the opb file. by Daniel LeBerre · 9 years ago
  71. 59c424f Fixed the value displayed for the recommends criteria. by Daniel LeBerre · 9 years ago
  72. 1d856fc Adding keep requirements only when package is installed. by Daniel LeBerre · 9 years ago
  73. 9645c28 Fixed small bug in the parser that would prevent lines with only white spaces to end a stanza. by Daniel LeBerre · 9 years ago
  74. af9485f Fix a bug in the support for keep: feature by Pascal Rapicault · 9 years ago
  75. 1280b37 Removed logged information. by Daniel LeBerre · 9 years ago
  76. bec8677 *** empty log message *** by Pascal Rapicault · 9 years ago
  77. db2d5e9 *** empty log message *** by Pascal Rapicault · 9 years ago
  78. fab02b7 Initial support for keep by Pascal Rapicault · 9 years ago
  79. d6e5db5 Improved management of level 1 true! and false! constants. by Daniel LeBerre · 9 years ago
  80. d928728 Fixed some parsing issues found in difficulttoparse instance. by Daniel LeBerre · 9 years ago
  81. 9a30a2a Fixed the encoding to be able to properly display MISC criteria metrics. by Daniel LeBerre · 9 years ago
  82. 68ad7f3 Fixed stupid bug in case of failure. by Daniel LeBerre · 9 years ago
  83. 9f3ac25 Fixed the displayed value of the trendy criteria. by Daniel LeBerre · 9 years ago
  84. 31eac14 Updated version of SAT4J. by Daniel LeBerre · 9 years ago
  85. 3ff1e34 Preliminary support for recommends. by Daniel LeBerre · 9 years ago
  86. c01c72c Added a test case for recommends. by Daniel LeBerre · 9 years ago
  87. 2eeb45e New version of SAT4J. by Daniel LeBerre · 9 years ago
  88. 962425c Satisfiability is no longer assumption-based. by Daniel LeBerre · 9 years ago
  89. 170f2e7 Updated SAT4J release with improved default PB solver. by Daniel LeBerre · 10 years ago
  90. f568b3e Fix issue when stopping the solver (maybe the Thread.sleep() code should go to DependencyHelper. by Daniel LeBerre · 10 years ago
  91. 25645f4 Fix formatting of p cnf line. by Daniel LeBerre · 10 years ago
  92. 0a659eb Fixed the notuptodate criteria by addition of new variables for that criteria. by Daniel LeBerre · 10 years ago
  93. 2c51969 Added the information regarding the values of the solution for the different MiSC criteria. by Daniel LeBerre · 10 years ago
  94. e7cc034 Using best available PB solver. by Daniel LeBerre · 10 years ago
  95. 0077281 Added a timestamp on the output. by Daniel LeBerre · 10 years ago
  96. 9da4c75 Add access to the variables mapping. by Daniel LeBerre · 10 years ago
  97. 5786f58 Create a file with the mapping opd variables/cudf packages. by Daniel LeBerre · 10 years ago
  98. 62fbc20 Added a new constructor with encoding set to false to avoid tests compilation problems. by Daniel LeBerre · 10 years ago
  99. 2b0ca56 It is now possible to generate the OPB file corresponding to a given criteria. by Daniel LeBerre · 10 years ago
  100. 4e2282e Better generation of OPB files (to take into account assumptions in generated files). by Daniel LeBerre · 10 years ago