)]}'
{
  "log": [
    {
      "commit": "9e3f24b0edc955ae6165be14b05d6ca856f4ee2b",
      "tree": "b043d1a11fb906d6f84458c74fa83edf28bae2bb",
      "parents": [
        "aaa32e65fa3f471d94bfa2a34dafc2421f999d20"
      ],
      "author": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Tue May 28 10:23:53 2013 +0200"
      },
      "committer": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Tue May 28 10:23:53 2013 +0200"
      },
      "message": "Fix for the bug discovered by Sergio Segura."
    },
    {
      "commit": "aaa32e65fa3f471d94bfa2a34dafc2421f999d20",
      "tree": "09aa96d91e47e139708ab00c33f41b613252edf2",
      "parents": [
        "5f8b4d6ce969cd48c5db55e605ca2f0792652557"
      ],
      "author": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Wed Aug 15 20:06:07 2012 +0200"
      },
      "committer": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Wed Aug 15 20:06:07 2012 +0200"
      },
      "message": "Improved command line from Emmanuel and fix for up and down from me.\n"
    },
    {
      "commit": "5f8b4d6ce969cd48c5db55e605ca2f0792652557",
      "tree": "25438d2a273f4ae847d5896f7491360f4b63b2f9",
      "parents": [
        "0f5c7956e3b16c532dde0ad2a7fca5246209f3d0"
      ],
      "author": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Thu Jul 19 17:30:35 2012 +0200"
      },
      "committer": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Thu Jul 19 17:30:35 2012 +0200"
      },
      "message": "added aligned property.\n"
    },
    {
      "commit": "0f5c7956e3b16c532dde0ad2a7fca5246209f3d0",
      "tree": "4cbaaf83e98c4a79e800ad4e5ad88d22b8b98770",
      "parents": [
        "2724fad1311ed26b83083546335021e36f44a050"
      ],
      "author": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Mon Jul 16 17:25:51 2012 +0200"
      },
      "committer": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Mon Jul 16 17:25:51 2012 +0200"
      },
      "message": "Started working on the new version of the solver for MISC2012.\n"
    },
    {
      "commit": "2724fad1311ed26b83083546335021e36f44a050",
      "tree": "f30a88bbae2c8decfcdd0e617b6fb4169ffccd43",
      "parents": [
        "c9e34b3575f2c448199add3f17eef41feb8e8e25",
        "7dac2747c2e8b961f12228f9e7bd65b55def3cfb"
      ],
      "author": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Mon Nov 21 15:53:13 2011 +0100"
      },
      "committer": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Mon Nov 21 15:53:13 2011 +0100"
      },
      "message": "Merge branch \u0027master\u0027 of http://git.eclipse.org/gitroot/equinox/rt.equinox.incubator\n"
    },
    {
      "commit": "7dac2747c2e8b961f12228f9e7bd65b55def3cfb",
      "tree": "a343416c15ec09fc128fb5cbc4a11f1f550b908d",
      "parents": [
        "08bf8f55e543d5667e6009e0cadeee9d3125d9a4"
      ],
      "author": {
        "name": "DJ Houghton",
        "email": "dj_houghton@ca.ibm.com",
        "time": "Wed Nov 16 15:32:56 2011 -0500"
      },
      "committer": {
        "name": "DJ Houghton",
        "email": "dj_houghton@ca.ibm.com",
        "time": "Wed Nov 16 15:32:56 2011 -0500"
      },
      "message": "git ignore stuff\n"
    },
    {
      "commit": "c9e34b3575f2c448199add3f17eef41feb8e8e25",
      "tree": "fd897b7e5dd59205db0dc6fc8ad69b6c85cc4cbc",
      "parents": [
        "08bf8f55e543d5667e6009e0cadeee9d3125d9a4"
      ],
      "author": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Tue Oct 18 15:10:56 2011 +0200"
      },
      "committer": {
        "name": "dleberre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Tue Oct 18 15:10:56 2011 +0200"
      },
      "message": "Prevent a NPE if an error occurs before the dependencyHelper object is\ncreated.\n"
    },
    {
      "commit": "08bf8f55e543d5667e6009e0cadeee9d3125d9a4",
      "tree": "6b23d317799896bec8488d5796d441e8e3fc3830",
      "parents": [
        "e2ef238522cec8dd3fef302d2c6c965f451739e0"
      ],
      "author": {
        "name": "Daniel Le Berre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Thu Oct 13 18:28:10 2011 +0200"
      },
      "committer": {
        "name": "Daniel Le Berre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Thu Oct 13 18:28:10 2011 +0200"
      },
      "message": "Added new optimisation criteria versionchanged that represent the number\nof installed packages that have been changed.\nAs such, we have now changed \u003d removed + new + versionchanged\n"
    },
    {
      "commit": "e2ef238522cec8dd3fef302d2c6c965f451739e0",
      "tree": "82dddfdb1721a30db93111200cd7a05512059b64",
      "parents": [
        "8607b2579e93a576d690e4a2195dfef12f5ca156"
      ],
      "author": {
        "name": "Daniel Le Berre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Wed Sep 21 22:15:19 2011 +0200"
      },
      "committer": {
        "name": "Daniel Le Berre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Wed Sep 21 22:15:19 2011 +0200"
      },
      "message": "Added fixes for problems detected during MISC 2011. Release 1.14.\n"
    },
    {
      "commit": "8607b2579e93a576d690e4a2195dfef12f5ca156",
      "tree": "766f5fcab23340fde403c0d6bbc984f2091fc7bd",
      "parents": [
        "e6e2d302f1c15d7c82c1ec5ddff78ae9730105d5"
      ],
      "author": {
        "name": "Daniel Le Berre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Wed Sep 14 11:59:16 2011 +0200"
      },
      "committer": {
        "name": "Daniel Le Berre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Wed Sep 14 11:59:16 2011 +0200"
      },
      "message": "Fixed issue discovered during MISC 2011 about the sum() feature (need\nto check that the property is really terminated by :, else there is an\nissue if two properties start with the same name).\n"
    },
    {
      "commit": "e6e2d302f1c15d7c82c1ec5ddff78ae9730105d5",
      "tree": "90d82d11a489d8082a03b2623ac71529e4fb9897",
      "parents": [
        "b4064ea49ce08079406e6477414f3e2819b8b7c1"
      ],
      "author": {
        "name": "Daniel Le Berre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Tue Aug 23 21:47:12 2011 +0200"
      },
      "committer": {
        "name": "Daniel Le Berre",
        "email": "leberre@cril.univ-artois.fr",
        "time": "Tue Aug 23 21:47:12 2011 +0200"
      },
      "message": "Added m2e pref files to make it work out-of-the-box with Eclipse 3.7 +\nm2e + egit\n"
    },
    {
      "commit": "b4064ea49ce08079406e6477414f3e2819b8b7c1",
      "tree": "467867d407c113b4af39d71a99347ad75aab8aeb",
      "parents": [
        "140c2c0e10dbfd19feb3a1562cba3224dc95fc35"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Aug 07 10:49:02 2011 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Aug 07 10:49:02 2011 +0000"
      },
      "message": "Removing debug message regarding sum property.\n"
    },
    {
      "commit": "140c2c0e10dbfd19feb3a1562cba3224dc95fc35",
      "tree": "80cb69162d3a80cf8229a1a0f9018dce0e2ce2a4",
      "parents": [
        "14c9c997556195bb5eb53715eb6a68b7600c1494"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Aug 07 10:30:41 2011 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Aug 07 10:30:41 2011 +0000"
      },
      "message": "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.\n\nNote that we suppose here that each property value can be stored in a long and that the sum can also be stored in a long (limitation of p2cudf, not of Sat4j).\n"
    },
    {
      "commit": "14c9c997556195bb5eb53715eb6a68b7600c1494",
      "tree": "98b38b3e9dda70cd3144ebead62abcd3447c7473",
      "parents": [
        "3bb72887f83e459d4f037a286677c40f3b90385e"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Aug 07 10:28:02 2011 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Aug 07 10:28:02 2011 +0000"
      },
      "message": "Fixed a few disgrace spaces on the console in verbose mode.\n"
    },
    {
      "commit": "3bb72887f83e459d4f037a286677c40f3b90385e",
      "tree": "4e13619c2c5a83cc0822c24ee850d9ee5ddbd0af",
      "parents": [
        "8b8db3c085a36567cebd1197c5759effab7be0fd"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Aug 07 10:25:51 2011 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Aug 07 10:25:51 2011 +0000"
      },
      "message": "Added a new method to display a string containing already a logging prefix.\n"
    },
    {
      "commit": "8b8db3c085a36567cebd1197c5759effab7be0fd",
      "tree": "3cf5ce3b6af53b081a26572b44321ebb5139f986",
      "parents": [
        "25cf2643f061cb141c9606fd3e4401001c9b1fa3"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Fri Aug 05 13:31:14 2011 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Fri Aug 05 13:31:14 2011 +0000"
      },
      "message": "Rely on Sat4j 2.3.1-SNAPSHOT instead of 2.2.3\n"
    },
    {
      "commit": "25cf2643f061cb141c9606fd3e4401001c9b1fa3",
      "tree": "940b76a1059ce21dff759987c7f798ab8a8188a0",
      "parents": [
        "cc5a91788560c59e716c5767f533536caf397b66"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Fri Aug 05 13:30:39 2011 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Fri Aug 05 13:30:39 2011 +0000"
      },
      "message": "Added sum criterion, based on the upcoming 2.3.1 release of Sat4j.\n"
    },
    {
      "commit": "cc5a91788560c59e716c5767f533536caf397b66",
      "tree": "e42637c8665fb29013d484b5537f0eea17213b19",
      "parents": [
        "852e584d6dc6477d60762f3447c96324d5868c47"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Mar 12 17:53:57 2011 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Mar 12 17:53:57 2011 +0000"
      },
      "message": "fixed trendy shortcut.\n"
    },
    {
      "commit": "852e584d6dc6477d60762f3447c96324d5868c47",
      "tree": "e238f6d482f4e2a5915c884a0589ae510468fd8b",
      "parents": [
        "af6a51505765982254d726a6992ab31bba1ff92c"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Mar 01 21:33:07 2011 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Mar 01 21:33:07 2011 +0000"
      },
      "message": "Fixed import statements.\n"
    },
    {
      "commit": "af6a51505765982254d726a6992ab31bba1ff92c",
      "tree": "7ef3a3ef7f149382827efdcada985010fc4874bd",
      "parents": [
        "5b535b00096c6f91ed37fa376d753204465d1c94"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Mar 01 21:26:04 2011 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Mar 01 21:26:04 2011 +0000"
      },
      "message": "Using long instead og BigInt in the PB solver.\n"
    },
    {
      "commit": "5b535b00096c6f91ed37fa376d753204465d1c94",
      "tree": "205dbd87d0818c69a73874cd33b5aaa0827cd86b",
      "parents": [
        "3061d04d7e15c1b4d3781434e6791d1f97dc5625"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Thu Feb 03 20:58:32 2011 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Thu Feb 03 20:58:32 2011 +0000"
      },
      "message": "Takes into account criteria naming change in MISC Live 3: unsat_recommends instead of unmet_recommends.\n"
    },
    {
      "commit": "3061d04d7e15c1b4d3781434e6791d1f97dc5625",
      "tree": "b2f05fb559ff381c7f69394c4371184facdc1015",
      "parents": [
        "b46a6c8de902919b3d36f10165be41d573d6b7a7"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Dec 28 17:29:29 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Dec 28 17:29:29 2010 +0000"
      },
      "message": "target directory in cvsignore.\n"
    },
    {
      "commit": "b46a6c8de902919b3d36f10165be41d573d6b7a7",
      "tree": "e8a524bb4bd5a59e371bad1123276f51a6237b4b",
      "parents": [
        "b665bc9c7f2b5e19905ca422b21e89967e85a00a"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Dec 28 17:17:38 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Dec 28 17:17:38 2010 +0000"
      },
      "message": "Change dependency to SAT4J 2.2.3 to be able to make a release.\n"
    },
    {
      "commit": "b665bc9c7f2b5e19905ca422b21e89967e85a00a",
      "tree": "2edd266adabe11f84ec74e9ea238e12efee1f942",
      "parents": [
        "0ff9efb49ba0e3bea0cb020788c13508d4c63a76"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Dec 28 17:15:09 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Dec 28 17:15:09 2010 +0000"
      },
      "message": "Solver configuration uses simple simplifications and Luby restarts.\n"
    },
    {
      "commit": "0ff9efb49ba0e3bea0cb020788c13508d4c63a76",
      "tree": "0887d559bab31f11baa643b99fa6442e76e31f7c",
      "parents": [
        "6079e6f4341c877fb8af3e6cabda4dbf6e6778c4"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Dec 26 18:00:05 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Dec 26 18:00:05 2010 +0000"
      },
      "message": "Use luby style restarts instead of Biere ones.\n"
    },
    {
      "commit": "6079e6f4341c877fb8af3e6cabda4dbf6e6778c4",
      "tree": "1220e1a427bfc02123dffdce5cf6b4bfdc0c2643",
      "parents": [
        "5591e6e1a2dcca185d244a2767b62a91e94d295c"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Dec 15 07:30:07 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Dec 15 07:30:07 2010 +0000"
      },
      "message": "Changed version to 1.11-SNAPSHOT\n"
    },
    {
      "commit": "5591e6e1a2dcca185d244a2767b62a91e94d295c",
      "tree": "0c77ca127c02ad371a18ce073626f0426af94c77",
      "parents": [
        "f7fe877e0bc460d37de17e0b65804a860e24c0fc"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Dec 15 07:29:19 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Dec 15 07:29:19 2010 +0000"
      },
      "message": "Added back support for paranoid and trendy shortcuts.\n"
    },
    {
      "commit": "f7fe877e0bc460d37de17e0b65804a860e24c0fc",
      "tree": "c213eda7180b75ce16be3e9cee40620a4f69fdb5",
      "parents": [
        "e7e14e0f01a4c0d4389012b77d195078e291c4ff"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Dec 15 04:46:39 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Dec 15 04:46:39 2010 +0000"
      },
      "message": "Enforce Maven version 3.0\n"
    },
    {
      "commit": "e7e14e0f01a4c0d4389012b77d195078e291c4ff",
      "tree": "6a374128f490ca396d5726a0a4a1df5d25cb46cf",
      "parents": [
        "9a1813da7ce9da54120801f756def2ee686f73fa"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Dec 15 04:16:03 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Dec 15 04:16:03 2010 +0000"
      },
      "message": "Add the highest version available to the slice so we can compute upToDate objective properly\n"
    },
    {
      "commit": "9a1813da7ce9da54120801f756def2ee686f73fa",
      "tree": "d5483fd6fea82e25eadbd30378dcad7981c59f93",
      "parents": [
        "6a21655f0a41ed4bc95073018c81b9b2d486f0c4"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Sun Dec 12 20:02:10 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Sun Dec 12 20:02:10 2010 +0000"
      },
      "message": "Missing org.eclipse.core.runtime classes  added\n"
    },
    {
      "commit": "6a21655f0a41ed4bc95073018c81b9b2d486f0c4",
      "tree": "61400f1b15324896e24cf1ff3c66b10687f8adc7",
      "parents": [
        "238bb1cb41b97eed05575b518961976de2624513"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Sun Dec 12 20:01:30 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Sun Dec 12 20:01:30 2010 +0000"
      },
      "message": "Reintroduce simplified version of NLS class because the original one pulls too much\n"
    },
    {
      "commit": "238bb1cb41b97eed05575b518961976de2624513",
      "tree": "095fa60f42629a7ef5bf477516d169ea4f8cd976",
      "parents": [
        "2b0146acce466b9e39e59edb8aea520ccc2b061b"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Sun Dec 12 02:21:03 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Sun Dec 12 02:21:03 2010 +0000"
      },
      "message": "Add comment to pom.xml\n"
    },
    {
      "commit": "2b0146acce466b9e39e59edb8aea520ccc2b061b",
      "tree": "93621344b76916f65967c7656ab8880195db12c4",
      "parents": [
        "5de52cfa41e14cf160874df44f58421207c5a3ae"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Sun Dec 12 02:08:42 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Sun Dec 12 02:08:42 2010 +0000"
      },
      "message": "Setup Maven build\n"
    },
    {
      "commit": "5de52cfa41e14cf160874df44f58421207c5a3ae",
      "tree": "9b6c12d62dd8d227abe6aa61dd906cf03232f617",
      "parents": [
        "672ca3455597d013d3a829e4ed379b62c10d798e"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Dec 07 19:38:53 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Dec 07 19:38:53 2010 +0000"
      },
      "message": "Fix management of optional dependencies: in case of empty matches, create the constraint to compute properly the score.\n"
    },
    {
      "commit": "672ca3455597d013d3a829e4ed379b62c10d798e",
      "tree": "ae61728c156f0975ea111566a3176d2166a3d2e2",
      "parents": [
        "b5a770e135c3186b78c9aa60e0361e0139519325"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Nov 24 20:19:20 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Nov 24 20:19:20 2010 +0000"
      },
      "message": "Updated version of sat4j.\n"
    },
    {
      "commit": "b5a770e135c3186b78c9aa60e0361e0139519325",
      "tree": "db10641d97417f52452bdc0c110eb44c704a17c9",
      "parents": [
        "fd635f346c827b04aa03d259aa887ac21106d791"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Nov 23 23:14:02 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Nov 23 23:14:02 2010 +0000"
      },
      "message": "New version of SAT4J, including the ability to check is a solution found is optimal or not.\n"
    },
    {
      "commit": "fd635f346c827b04aa03d259aa887ac21106d791",
      "tree": "9685ca3135b100a586305da158c36b0412804e10",
      "parents": [
        "d25a2c27e3cefb747ad2b4b821fbe777500c2e8d"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Nov 23 23:13:06 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Nov 23 23:13:06 2010 +0000"
      },
      "message": "The solver now explicitly displays if the solution found is optimal or not.\n"
    },
    {
      "commit": "d25a2c27e3cefb747ad2b4b821fbe777500c2e8d",
      "tree": "8532521bee3a466445c7799614bf7c11a6ce732f",
      "parents": [
        "cb19ef4a99f22fb8d34e43b1208347252c4fd500"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 21:11:29 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 21:11:29 2010 +0000"
      },
      "message": "Prevent people from using the encoding option, since it is no longer available.\n"
    },
    {
      "commit": "cb19ef4a99f22fb8d34e43b1208347252c4fd500",
      "tree": "b0fcb3e5d36f481619a33833c03c19bc015545c7",
      "parents": [
        "0bb14bcdee8729ede1003e1d4bfdba26f2f56c2e"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 21:04:18 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 21:04:18 2010 +0000"
      },
      "message": "Remove reference to named criteria.\n"
    },
    {
      "commit": "0bb14bcdee8729ede1003e1d4bfdba26f2f56c2e",
      "tree": "fac54bf1b68f4c2a41fad8d604758a343bd4355d",
      "parents": [
        "4ae6a7bf5a043765ec437ffce26063d37461c070"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 20:37:15 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 20:37:15 2010 +0000"
      },
      "message": "Removed optional dependencies from meta IU from the optimization function.\n"
    },
    {
      "commit": "4ae6a7bf5a043765ec437ffce26063d37461c070",
      "tree": "2e72eb6394f22d418176f6f21e2a7d47c4b14b31",
      "parents": [
        "16e2853ba67641ba1cd34dc405f1386432dfed04"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 20:35:20 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 20:35:20 2010 +0000"
      },
      "message": "Added criteria size information.\n"
    },
    {
      "commit": "16e2853ba67641ba1cd34dc405f1386432dfed04",
      "tree": "202d01d9c2c8186ebb337be6461fe3aa652cb792",
      "parents": [
        "079a7dcbe9da8a6108a2f2b243e8f8f6799e5eba"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 18:05:40 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 18:05:40 2010 +0000"
      },
      "message": "Uses LexicoHelper.\n"
    },
    {
      "commit": "079a7dcbe9da8a6108a2f2b243e8f8f6799e5eba",
      "tree": "73f2cad1e7656d978e9950547ac3d06f67967384",
      "parents": [
        "958237877f302e62b877ec323ffab8e3a4109462"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 18:04:47 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 18:04:47 2010 +0000"
      },
      "message": "Using lexico optimization instead of classical boolean optimization.\n"
    },
    {
      "commit": "958237877f302e62b877ec323ffab8e3a4109462",
      "tree": "43af93a4763cdcbf6111055a302daacd1bc06d1b",
      "parents": [
        "468156dd61550887995f754265f24961168fdbf3"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 18:04:15 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 18:04:15 2010 +0000"
      },
      "message": "Using implications instead of equivalences in optimization function encoding.\n"
    },
    {
      "commit": "468156dd61550887995f754265f24961168fdbf3",
      "tree": "3fe5949ed230344a895548644fc394031440bd91",
      "parents": [
        "4336f3e52c8484375963f2382729f4157a48959a"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 18:02:00 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Nov 21 18:02:00 2010 +0000"
      },
      "message": "New release of Sat4j including lexico optimization.\n"
    },
    {
      "commit": "4336f3e52c8484375963f2382729f4157a48959a",
      "tree": "6661418a220bc3c3af546b551443a0b442c28cc5",
      "parents": [
        "baec20d8801b654d16ae019d3a37b88395f6812e"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Nov 16 17:01:25 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Nov 16 17:01:25 2010 +0000"
      },
      "message": "Prefix list of dependencies with a OR\n"
    },
    {
      "commit": "baec20d8801b654d16ae019d3a37b88395f6812e",
      "tree": "abe7256f7fb5843cd1faf2c8a371310833fd6f98",
      "parents": [
        "9fa97e3189e97851e09b9e94fa0028a064e18792"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Nov 16 10:19:25 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Nov 16 10:19:25 2010 +0000"
      },
      "message": "Add optional state to the ORed requirement.\n"
    },
    {
      "commit": "9fa97e3189e97851e09b9e94fa0028a064e18792",
      "tree": "b8ac6f7db599bb260680f941a5e072ada5e26d9b",
      "parents": [
        "393324be906c75ddac1ac5a15af55fb27f08ec88"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Nov 16 10:18:45 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Nov 16 10:18:45 2010 +0000"
      },
      "message": "Fixed OR requirements to allow it to return optional state.\nAlso added a proper getName() method.\n"
    },
    {
      "commit": "393324be906c75ddac1ac5a15af55fb27f08ec88",
      "tree": "6abec822c6b2594e9c7406378c5976b2e04c0619",
      "parents": [
        "213a051d6ee095e84243a7ef2094838e7c0bf0df"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Tue Nov 16 03:23:30 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Tue Nov 16 03:23:30 2010 +0000"
      },
      "message": "Output the diff\n"
    },
    {
      "commit": "213a051d6ee095e84243a7ef2094838e7c0bf0df",
      "tree": "30e33965ea0af0c54902eb91c0c802e97f841cb7",
      "parents": [
        "4e1eefd0fa2e13699e8f1e8e0c38c5edc7877004"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Tue Nov 16 02:49:00 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Tue Nov 16 02:49:00 2010 +0000"
      },
      "message": "Solver comparator\n"
    },
    {
      "commit": "4e1eefd0fa2e13699e8f1e8e0c38c5edc7877004",
      "tree": "5694a09bb336742e807446a974159e7384849f58",
      "parents": [
        "05618a499d5f4b9a6abc8c0ec6af22015d77680e"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Nov 08 23:45:45 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Nov 08 23:45:45 2010 +0000"
      },
      "message": "Simplified the way the optimization function is built (thanks DependencyHelper!)\n"
    },
    {
      "commit": "05618a499d5f4b9a6abc8c0ec6af22015d77680e",
      "tree": "f2fbddbcb05b8c1bea8b7d2d16df461b56b30dbe",
      "parents": [
        "a191b936a00a36b63573fa601dddf24022f1b1c0"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Nov 08 21:21:12 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Nov 08 21:21:12 2010 +0000"
      },
      "message": "Fixed usage message.\n"
    },
    {
      "commit": "a191b936a00a36b63573fa601dddf24022f1b1c0",
      "tree": "d42d3ff07a2bad576e5941c4a52857ca04a7377b",
      "parents": [
        "5e3d9e909df0b14619151c17277eac68199112f8"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Nov 08 19:45:05 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Nov 08 19:45:05 2010 +0000"
      },
      "message": "Fixed a few warning from Eclipse compiler.\n"
    },
    {
      "commit": "5e3d9e909df0b14619151c17277eac68199112f8",
      "tree": "7ddae82a6b6580ae418b30c012297c993ca3f98d",
      "parents": [
        "943551d0c9758c66316ed3cd26ae17bfa81a5b75"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Nov 08 13:03:26 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Nov 08 13:03:26 2010 +0000"
      },
      "message": "New release of SAT4J (2.2.3-SNAPSHOT)\n"
    },
    {
      "commit": "943551d0c9758c66316ed3cd26ae17bfa81a5b75",
      "tree": "bf75e599772c26bbc8c618943e5822e3f974c437",
      "parents": [
        "13dbbf8befd2e0612d67258fee9a2f5c4fc7665b"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Nov 08 13:02:54 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Nov 08 13:02:54 2010 +0000"
      },
      "message": "Finalized support for user defined optimization function.\n"
    },
    {
      "commit": "13dbbf8befd2e0612d67258fee9a2f5c4fc7665b",
      "tree": "41801e384c300103369ad35dd4a0478451881571",
      "parents": [
        "a265c59b80ab3b986d7c06e5d51db0118a20f424"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jul 27 10:20:52 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jul 27 10:20:52 2010 +0000"
      },
      "message": "Removed p2 objective function.\n"
    },
    {
      "commit": "a265c59b80ab3b986d7c06e5d51db0118a20f424",
      "tree": "597f34b0d7b53a772ce17051763a20eb803d21ab",
      "parents": [
        "03d28b007d139379351be2e43c8cc2e40851e83f"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jul 27 10:20:27 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jul 27 10:20:27 2010 +0000"
      },
      "message": "Got now a timeout of 5 minutes by default.\n"
    },
    {
      "commit": "03d28b007d139379351be2e43c8cc2e40851e83f",
      "tree": "20a34ef1474575b2658f8041d6069c0a12b92e25",
      "parents": [
        "f76161739d49b1677f4ee64654585c317ddb72ee"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jul 27 08:28:54 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jul 27 08:28:54 2010 +0000"
      },
      "message": "New release of SAT4J (2.2.1 snapshot).\n"
    },
    {
      "commit": "f76161739d49b1677f4ee64654585c317ddb72ee",
      "tree": "a6f8ef7f7e281c36e9a8ddf1edce877360a03532",
      "parents": [
        "9d3f0fdfd19fb83df19356c1aba0e9a38b6d3d52"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jul 27 08:27:44 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jul 27 08:27:44 2010 +0000"
      },
      "message": "No longer use options inside the parser.\nFixed management of singleton.\n"
    },
    {
      "commit": "9d3f0fdfd19fb83df19356c1aba0e9a38b6d3d52",
      "tree": "c1a96fefa49a05b16b5003c2d46659ceeb0bd3f9",
      "parents": [
        "0c5f7bf856195a50b85759a0f8affb4bd95e927f"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jul 27 08:26:46 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jul 27 08:26:46 2010 +0000"
      },
      "message": "Fixed test cases.\n"
    },
    {
      "commit": "0c5f7bf856195a50b85759a0f8affb4bd95e927f",
      "tree": "8571707f32383e8578785d4a379c134b2aaea55a",
      "parents": [
        "3ef517638668ed999d1d194d6a4280f6b21507b5"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Jul 18 08:53:24 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Jul 18 08:53:24 2010 +0000"
      },
      "message": "Made user defined objective function and predefined ones exactly similar.\n"
    },
    {
      "commit": "3ef517638668ed999d1d194d6a4280f6b21507b5",
      "tree": "3902d4d0c2a1b4d8f5fae6c61d4e04e4e5580a07",
      "parents": [
        "6738fda34f935d7ba38d7a0f5e6070089beed7a8"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jul 17 16:08:59 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jul 17 16:08:59 2010 +0000"
      },
      "message": "Fixed a few typos (notupTOdate, package names in proof, etc).\n"
    },
    {
      "commit": "6738fda34f935d7ba38d7a0f5e6070089beed7a8",
      "tree": "77f269ab095df54c3644e641b02e04f051bcf2e1",
      "parents": [
        "2b3feeb93546232ed9b57f9b71cf881f6c1844c6"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jul 17 15:48:47 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jul 17 15:48:47 2010 +0000"
      },
      "message": "Added user defined optimization function.\n"
    },
    {
      "commit": "2b3feeb93546232ed9b57f9b71cf881f6c1844c6",
      "tree": "b3097669c4426356af43d4fd047612b8b82116da",
      "parents": [
        "2e1155c4edb9a19d73351bb672af5d87abb573e1"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jul 17 13:49:27 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jul 17 13:49:27 2010 +0000"
      },
      "message": "Displaying proof per criteria.\n"
    },
    {
      "commit": "2e1155c4edb9a19d73351bb672af5d87abb573e1",
      "tree": "ae1123c5d937d26bb7206277b0f6c25e2e372bea",
      "parents": [
        "4078282f8d24cf3dab799457521f3e8c1cce1f4c"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jul 17 13:48:19 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jul 17 13:48:19 2010 +0000"
      },
      "message": "Use named variables.\n"
    },
    {
      "commit": "4078282f8d24cf3dab799457521f3e8c1cce1f4c",
      "tree": "c6d839935aadf54705b72bc7e054e8e4916be28a",
      "parents": [
        "954dbc53d015a74df02f9cd28e7a7f3abde18fa2"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jul 17 13:47:56 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jul 17 13:47:56 2010 +0000"
      },
      "message": "Fixed wrong comments.\n"
    },
    {
      "commit": "954dbc53d015a74df02f9cd28e7a7f3abde18fa2",
      "tree": "cafbb34376fe4e5cad15ce42ff56d7b0cfed1196",
      "parents": [
        "aa231aa96db831bc792859c4c4cc4b19303cf71b"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Fri Jul 16 14:48:49 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Fri Jul 16 14:48:49 2010 +0000"
      },
      "message": "Fixed the encoding of the optionality.\n"
    },
    {
      "commit": "aa231aa96db831bc792859c4c4cc4b19303cf71b",
      "tree": "64b87ac9134e0b83a7b6c5316b043dbf105c07a5",
      "parents": [
        "332fe6de94c866a54fc64a47352c92ac6d8af6de"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Jul 12 10:24:18 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Jul 12 10:24:18 2010 +0000"
      },
      "message": "Enable recommends property only for trendy criteria.\n"
    },
    {
      "commit": "332fe6de94c866a54fc64a47352c92ac6d8af6de",
      "tree": "f3499ffa77c5832a0097f10be6fa1897e20eb5f6",
      "parents": [
        "ac4a84673d70449bba0fef3e3d5f9594db78db58"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Jul 11 10:45:26 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun Jul 11 10:45:26 2010 +0000"
      },
      "message": "Fixing bug on self conflict appearing in MISC.\n"
    },
    {
      "commit": "ac4a84673d70449bba0fef3e3d5f9594db78db58",
      "tree": "59d21e4eb6028db38942b4ad7d1b4bcf59e5ddcc",
      "parents": [
        "59c424ffd0146ebd126cee1c1a111fb257d2f0ce"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jun 12 13:24:20 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jun 12 13:24:20 2010 +0000"
      },
      "message": "Updated the version of sat4j to fix the format of the objective function in the opb file.\n"
    },
    {
      "commit": "59c424ffd0146ebd126cee1c1a111fb257d2f0ce",
      "tree": "735e8465f751949ea5390831b2d70aca6fdcd696",
      "parents": [
        "1d856fc2580e97cb99ece52ed8f750062d01669d"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jun 12 13:23:21 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jun 12 13:23:21 2010 +0000"
      },
      "message": "Fixed the value displayed for the recommends criteria.\n"
    },
    {
      "commit": "1d856fc2580e97cb99ece52ed8f750062d01669d",
      "tree": "089c1ef465d83e8b5460ea378bf276638dd8b75f",
      "parents": [
        "9645c283ac64d43bfce16529cd9bb19e6eb35595"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Thu Jun 03 18:33:53 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Thu Jun 03 18:33:53 2010 +0000"
      },
      "message": "Adding keep requirements only when package is installed.\n"
    },
    {
      "commit": "9645c283ac64d43bfce16529cd9bb19e6eb35595",
      "tree": "70c1ea195951cbcc79a73b2dd5d8d272a3f17602",
      "parents": [
        "af9485f97ba80bccd62e164ef33d8ed800386b79"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Jun 02 18:51:48 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Jun 02 18:51:48 2010 +0000"
      },
      "message": "Fixed small bug in the parser that would prevent lines with only white spaces to end a stanza.\n"
    },
    {
      "commit": "af9485f97ba80bccd62e164ef33d8ed800386b79",
      "tree": "58d6d95f035057156cd8da3cf73a6f694412f3cf",
      "parents": [
        "1280b37ebe9ba6b586a75e556730258d4d572efb"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Jun 02 17:39:12 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Jun 02 17:39:12 2010 +0000"
      },
      "message": "Fix a bug in the support for keep: feature\n"
    },
    {
      "commit": "1280b37ebe9ba6b586a75e556730258d4d572efb",
      "tree": "80f05b184b0d75d9048deb46cf901d0ad014d419",
      "parents": [
        "bec8677f989522628762bc5ada1581563df12202"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Jun 02 16:16:19 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Jun 02 16:16:19 2010 +0000"
      },
      "message": "Removed logged information.\n"
    },
    {
      "commit": "bec8677f989522628762bc5ada1581563df12202",
      "tree": "ce27888db86caeed9090e81acd17aae1ee0c45ce",
      "parents": [
        "db2d5e9355c7f7dfa00ba4ea9a7c961a925350ce"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Jun 02 13:20:52 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Jun 02 13:20:52 2010 +0000"
      },
      "message": "*** empty log message ***\n"
    },
    {
      "commit": "db2d5e9355c7f7dfa00ba4ea9a7c961a925350ce",
      "tree": "8cee581b552f3ef1a74c1f9e6ebddacae5440c54",
      "parents": [
        "fab02b76fdd95cf65d7b9e91c19685aeaac28f98"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Jun 02 13:08:33 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Jun 02 13:08:33 2010 +0000"
      },
      "message": "*** empty log message ***\n"
    },
    {
      "commit": "fab02b76fdd95cf65d7b9e91c19685aeaac28f98",
      "tree": "500e8191e12063b47cce23cf93cb03ac3439bde9",
      "parents": [
        "d6e5db5db05a1394414db34f7259614c96fb947f"
      ],
      "author": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Jun 02 03:27:02 2010 +0000"
      },
      "committer": {
        "name": "Pascal Rapicault",
        "email": "prapicau",
        "time": "Wed Jun 02 03:27:02 2010 +0000"
      },
      "message": "Initial support for keep\n"
    },
    {
      "commit": "d6e5db5db05a1394414db34f7259614c96fb947f",
      "tree": "87fb78051d588b71b57fbc12dcd0e110a35be169",
      "parents": [
        "d928728373faf2aa9e1dbaa58f57afa8115e3839"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jun 01 20:27:55 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jun 01 20:27:55 2010 +0000"
      },
      "message": "Improved management of level 1 true! and false! constants.\n"
    },
    {
      "commit": "d928728373faf2aa9e1dbaa58f57afa8115e3839",
      "tree": "12e69b2bf2be516e9e986e9f14138b02b9bb22d5",
      "parents": [
        "9a30a2ab6eee720c013a1b24f4f12425403a65c3"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jun 01 19:11:54 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Jun 01 19:11:54 2010 +0000"
      },
      "message": "Fixed some parsing issues found in difficulttoparse instance.\n"
    },
    {
      "commit": "9a30a2ab6eee720c013a1b24f4f12425403a65c3",
      "tree": "0189133c5343cb50deb38b7a2ff1fd75ba110631",
      "parents": [
        "68ad7f3f349a07de506ed400d146e0b2ec432aaa"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun May 30 12:39:37 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun May 30 12:39:37 2010 +0000"
      },
      "message": "Fixed the encoding to be able to properly display MISC criteria metrics.\n"
    },
    {
      "commit": "68ad7f3f349a07de506ed400d146e0b2ec432aaa",
      "tree": "67ebe0b90507c9df2e4f93022c7b9d1240ed7b74",
      "parents": [
        "9f3ac25924b91ce25bb3d137261adc97642d193f"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun May 30 08:41:57 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sun May 30 08:41:57 2010 +0000"
      },
      "message": "Fixed stupid bug in case of failure.\n"
    },
    {
      "commit": "9f3ac25924b91ce25bb3d137261adc97642d193f",
      "tree": "ba660eaf93b6e4516678ed1e3ab78ee2546bf2bd",
      "parents": [
        "31eac1456bd638cef474b505411bed2f070fee39"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat May 29 17:27:47 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat May 29 17:27:47 2010 +0000"
      },
      "message": "Fixed the displayed value of the trendy criteria.\n"
    },
    {
      "commit": "31eac1456bd638cef474b505411bed2f070fee39",
      "tree": "b45e58e8a7adc85aa3dcf33e02ef6d373275b0fa",
      "parents": [
        "3ff1e34b18ef6476a8f28d5c33e35d7585875ea9"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat May 29 15:46:39 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat May 29 15:46:39 2010 +0000"
      },
      "message": "Updated version of SAT4J.\n"
    },
    {
      "commit": "3ff1e34b18ef6476a8f28d5c33e35d7585875ea9",
      "tree": "71cda6f7157e28dfa3297107f48f95556a26be13",
      "parents": [
        "c01c72c953ba073f32ff2ca88bccf5ec5936c705"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat May 29 15:45:57 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat May 29 15:45:57 2010 +0000"
      },
      "message": "Preliminary support for recommends.\n"
    },
    {
      "commit": "c01c72c953ba073f32ff2ca88bccf5ec5936c705",
      "tree": "643c2e6d865cbf94afd04e9f5329e2f3e093c551",
      "parents": [
        "2eeb45edc66b2cd947cee7d49df370ff30913911"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat May 29 15:45:25 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat May 29 15:45:25 2010 +0000"
      },
      "message": "Added a test case for recommends.\n"
    },
    {
      "commit": "2eeb45edc66b2cd947cee7d49df370ff30913911",
      "tree": "2f90d5358ec2673a62b1ec7b10817c112a1ea17e",
      "parents": [
        "962425ce70788c5b676cf167ad7df0909fda04ab"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Fri Apr 09 07:36:43 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Fri Apr 09 07:36:43 2010 +0000"
      },
      "message": "New version of SAT4J.\n"
    },
    {
      "commit": "962425ce70788c5b676cf167ad7df0909fda04ab",
      "tree": "7a96169ff85be46e404358a9eea16c96ecd3ba4b",
      "parents": [
        "170f2e74357245df3b16b36f6a9e2500a6bce30e"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Fri Apr 09 07:36:19 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Fri Apr 09 07:36:19 2010 +0000"
      },
      "message": "Satisfiability is no longer assumption-based.\n"
    },
    {
      "commit": "170f2e74357245df3b16b36f6a9e2500a6bce30e",
      "tree": "b9af4d9dd5c8ee7f1f1c207951262b88969eacd5",
      "parents": [
        "f568b3ea1b85b6dc9b56ee978dbbf8feb30d33fa"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Thu Feb 11 20:38:07 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Thu Feb 11 20:38:07 2010 +0000"
      },
      "message": "Updated SAT4J release with improved default PB solver.\n"
    },
    {
      "commit": "f568b3ea1b85b6dc9b56ee978dbbf8feb30d33fa",
      "tree": "7046adb0d4cabe1ede1987f8f2181bf938765195",
      "parents": [
        "25645f41aa89206459d2bd90334a4006bb67aeff"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Thu Feb 11 13:46:42 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Thu Feb 11 13:46:42 2010 +0000"
      },
      "message": "Fix issue when stopping the solver (maybe the Thread.sleep() code should go to DependencyHelper.\n"
    },
    {
      "commit": "25645f41aa89206459d2bd90334a4006bb67aeff",
      "tree": "3e38c4833f67ea6d53bc8db22ed25a12f3946569",
      "parents": [
        "0a659eb43bd81ea3ef2fff230d9dd82350f92445"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Thu Feb 11 13:45:01 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Thu Feb 11 13:45:01 2010 +0000"
      },
      "message": "Fix formatting of p cnf line.\n"
    },
    {
      "commit": "0a659eb43bd81ea3ef2fff230d9dd82350f92445",
      "tree": "08da58ef6d81af85ea0905aec63a8e009c4b7966",
      "parents": [
        "2c519697eece5a1fdb51391f1f5d03e67a4bbb84"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Feb 09 10:32:20 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Feb 09 10:32:20 2010 +0000"
      },
      "message": "Fixed the notuptodate criteria by addition of new variables for that criteria.\n"
    },
    {
      "commit": "2c519697eece5a1fdb51391f1f5d03e67a4bbb84",
      "tree": "a272f195f15540b077b28f391d0faca46f5a99cf",
      "parents": [
        "e7cc034a716faf32e1a11603ef406d025345434d"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Feb 09 00:07:18 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Tue Feb 09 00:07:18 2010 +0000"
      },
      "message": "Added the information regarding the values of the solution for the different MiSC criteria.\n"
    },
    {
      "commit": "e7cc034a716faf32e1a11603ef406d025345434d",
      "tree": "9dd2aa36784f3b3334a48a6fdfc41eec36250a35",
      "parents": [
        "00772814ba245defd681fb1af036dcdcfea9076a"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Feb 08 20:46:04 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Feb 08 20:46:04 2010 +0000"
      },
      "message": "Using best available PB solver.\nMake sure the encoding is always the same between two runs.\n"
    },
    {
      "commit": "00772814ba245defd681fb1af036dcdcfea9076a",
      "tree": "cea2b20ac21aa23fd424f7888cc576291288e19e",
      "parents": [
        "9da4c75c3d3c06f51e288e5684031ec99cd04ea7"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Feb 08 20:22:49 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Feb 08 20:22:49 2010 +0000"
      },
      "message": "Added a timestamp on the output.\nThe exit code should be different that 0 only in exceptional cases (I/O error, conf problem, etc).\n"
    },
    {
      "commit": "9da4c75c3d3c06f51e288e5684031ec99cd04ea7",
      "tree": "77f4622323d5a0ebe9a0dce066e8f54f8d150334",
      "parents": [
        "5786f587d8c04bc82da25328619356925cf1b400"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Jan 27 23:09:06 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Jan 27 23:09:06 2010 +0000"
      },
      "message": "Add access to the variables mapping.\n"
    },
    {
      "commit": "5786f587d8c04bc82da25328619356925cf1b400",
      "tree": "74c4afe6d5faad2984631ed42ec8d0e168e5ad71",
      "parents": [
        "62fbc2064d0ff2240ffbb06e645d721731199720"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Jan 27 21:05:54 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Wed Jan 27 21:05:54 2010 +0000"
      },
      "message": "Create a file with the mapping opd variables/cudf packages.\n"
    },
    {
      "commit": "62fbc2064d0ff2240ffbb06e645d721731199720",
      "tree": "3f3528c0f138a38e73c93eee612ebc4317226e81",
      "parents": [
        "2b0ca56c161ffe3fe36934dbada688ffca9205ae"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Jan 25 10:18:28 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Mon Jan 25 10:18:28 2010 +0000"
      },
      "message": "Added a new constructor with encoding set to false to avoid  tests compilation problems.\n"
    },
    {
      "commit": "2b0ca56c161ffe3fe36934dbada688ffca9205ae",
      "tree": "3bafabd7715bd6c94d6524a40710c4b42ce10d41",
      "parents": [
        "4e2282e4d0827287f1c5675f30060dce6d826f53"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jan 23 22:29:44 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jan 23 22:29:44 2010 +0000"
      },
      "message": "It is now possible to generate the OPB file corresponding to a given criteria.\nThe Xplain tool is only used if -explain option is used.\n"
    },
    {
      "commit": "4e2282e4d0827287f1c5675f30060dce6d826f53",
      "tree": "cc800ac95c72daec3ba46a64f47fba05c3c2e4ed",
      "parents": [
        "969975bac31f9f335dafb51695cfc19ab8ab6f4e"
      ],
      "author": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jan 23 22:28:16 2010 +0000"
      },
      "committer": {
        "name": "Daniel LeBerre",
        "email": "dleberre",
        "time": "Sat Jan 23 22:28:16 2010 +0000"
      },
      "message": "Better generation of OPB files (to take into account assumptions in generated files).\n"
    }
  ],
  "next": "969975bac31f9f335dafb51695cfc19ab8ab6f4e"
}