| d2d7f19 | lecoutre | 08 October 2020, 07:17:18 UTC | Minor bug fixed for comments | 08 October 2020, 07:17:18 UTC |
| 5dcad7b | lecoutre | 06 October 2020, 12:35:23 UTC | New version of AbsCon | 06 October 2020, 12:35:23 UTC |
| 00f678f | lecoutre | 06 October 2020, 11:50:00 UTC | Output of solvers revisited | 06 October 2020, 11:50:00 UTC |
| bd433ec | lecoutre | 06 October 2020, 08:23:36 UTC | Solver output revisited | 06 October 2020, 08:23:36 UTC |
| 18bd3cd | lecoutre | 06 October 2020, 07:09:51 UTC | Guide being updated | 06 October 2020, 07:09:51 UTC |
| 444597e | XCSP Team | 02 October 2020, 12:10:20 UTC | Merge pull request #13 from xcsp3team/cpru Update jar of choco | 02 October 2020, 12:10:20 UTC |
| ff89dab | cprudhom | 02 October 2020, 12:04:51 UTC | Update jar of choco Signed-off-by: cprudhom <charles.prudhomme@imt-atlantique.fr> | 02 October 2020, 12:04:51 UTC |
| a64df2d | lecoutre | 29 September 2020, 12:48:46 UTC | New version of AbsCon | 29 September 2020, 12:48:46 UTC |
| a19617a | lecoutre | 25 September 2020, 12:54:05 UTC | README: indiacting the role of the new option -display | 25 September 2020, 12:54:05 UTC |
| 97cafdd | lecoutre | 25 September 2020, 12:51:10 UTC | README: indicating the role of the new option -display | 25 September 2020, 12:51:10 UTC |
| 0069b56 | lecoutre | 24 September 2020, 08:52:00 UTC | Handling/simplifying objectives defined as a sum of a single term | 24 September 2020, 08:52:00 UTC |
| b9a2c76 | lecoutre | 23 September 2020, 15:10:37 UTC | New quick option to run a solver while checking the output of the compiler. This will be updated later. | 23 September 2020, 15:10:37 UTC |
| f5361f0 | lecoutre | 23 September 2020, 14:45:59 UTC | Slightly modyfying Tester | 23 September 2020, 14:45:59 UTC |
| 0d38a1e | lecoutre | 23 September 2020, 14:34:52 UTC | Tester sligtly modified | 23 September 2020, 14:34:52 UTC |
| 3624fbe | lecoutre | 23 September 2020, 14:31:59 UTC | Tester modified in order to be able to run testing files from any directory | 23 September 2020, 14:31:59 UTC |
| fb748c4 | lecoutre | 22 September 2020, 14:42:07 UTC | Minor refactoring | 22 September 2020, 14:42:07 UTC |
| dcf2d27 | XCSP Team | 22 September 2020, 14:25:10 UTC | Merge pull request #11 from xcsp3team/smart Smart | 22 September 2020, 14:25:10 UTC |
| 93f930f | nicolas.szczepanski | 22 September 2020, 14:10:46 UTC | set now works for elements in the tuples for the smart tables | 22 September 2020, 14:10:46 UTC |
| 314a7d8 | nicolas.szczepanski | 22 September 2020, 13:36:41 UTC | set instead of tuple for the operator in (tuple) inside the tuples of smart table | 22 September 2020, 13:36:41 UTC |
| 79d16e0 | nicolas.szczepanski | 22 September 2020, 13:24:49 UTC | smart test now works | 22 September 2020, 13:24:49 UTC |
| 93cd9a6 | nicolas.szczepanski | 22 September 2020, 13:07:03 UTC | The option display prints the xml file without creating it. | 22 September 2020, 13:07:03 UTC |
| 4201464 | lecoutre | 22 September 2020, 12:47:08 UTC | Minor refactoring | 22 September 2020, 12:47:08 UTC |
| 0fb7980 | lecoutre | 22 September 2020, 12:15:07 UTC | Minor refactoring | 22 September 2020, 12:15:07 UTC |
| eeb655d | lecoutre | 21 September 2020, 14:11:15 UTC | Minor modification in Compiler | 21 September 2020, 14:11:15 UTC |
| dbf5ddc | lecoutre | 17 September 2020, 09:21:30 UTC | New version of AbsCon | 17 September 2020, 09:21:30 UTC |
| e42af57 | lecoutre | 17 September 2020, 08:42:42 UTC | Testing files deleted | 17 September 2020, 08:42:42 UTC |
| 45c92e4 | lecoutre | 17 September 2020, 08:27:35 UTC | Tester modified | 17 September 2020, 08:27:35 UTC |
| abc2316 | lecoutre | 10 September 2020, 14:33:57 UTC | Slightly modifying outputs wrt emebedded solvers | 10 September 2020, 14:33:57 UTC |
| 2cfd798 | XCSP Team | 10 September 2020, 10:40:50 UTC | Merge pull request #10 from xcsp3team/cpru Add missing extension | 10 September 2020, 10:40:50 UTC |
| f4342ed | cprudhom | 10 September 2020, 09:27:07 UTC | Add missing extension Signed-off-by: cprudhom <charles.prudhomme@imt-atlantique.fr> | 10 September 2020, 09:27:07 UTC |
| c61fd88 | lecoutre | 10 September 2020, 09:13:04 UTC | MHandling JSON fields with special characters | 10 September 2020, 09:13:04 UTC |
| 1df87b6 | XCSP Team | 10 September 2020, 09:10:57 UTC | Merge pull request #9 from xcsp3team/cpru Move to choco-parsers-4.10.4 | 10 September 2020, 09:10:57 UTC |
| a49ed19 | lecoutre | 10 September 2020, 08:13:53 UTC | Minor refactoring | 10 September 2020, 08:13:53 UTC |
| dd4fcfd | cprudhom | 10 September 2020, 08:09:32 UTC | Move to choco-parsers-4.10.4 Signed-off-by: cprudhom <charles.prudhomme@imt-atlantique.fr> | 10 September 2020, 08:09:32 UTC |
| 9663d34 | lecoutre | 08 September 2020, 17:00:26 UTC | Bug fixed when managing solver options | 08 September 2020, 17:00:26 UTC |
| 2a5c3a2 | lecoutre | 08 September 2020, 15:38:21 UTC | new directory for docs | 08 September 2020, 15:38:21 UTC |
| 62caf92 | lecoutre | 08 September 2020, 15:21:46 UTC | merging Merge branch 'master' of https://github.com/xcsp3team/pycsp3 | 08 September 2020, 15:21:46 UTC |
| aedecd8 | lecoutre | 08 September 2020, 15:19:45 UTC | Restructuration of problem directories | 08 September 2020, 15:19:45 UTC |
| 0cf97db | XCSP Team | 03 September 2020, 10:26:01 UTC | Merge pull request #7 from xcsp3team/g6testing G6testing | 03 September 2020, 10:26:01 UTC |
| 91fd768 | XCSP Team | 03 September 2020, 10:25:00 UTC | Merge branch 'master' into g6testing | 03 September 2020, 10:25:00 UTC |
| 8c3e5cc | nicolas.szczepanski | 03 September 2020, 08:01:29 UTC | options for solvers directly in the modelisation files now work | 03 September 2020, 08:01:29 UTC |
| c1a8875 | nicolas.szczepanski | 03 September 2020, 07:28:44 UTC | nothing | 03 September 2020, 07:28:44 UTC |
| 1169b55 | lecoutre | 03 September 2020, 06:46:46 UTC | AbsCon New version | 03 September 2020, 06:46:46 UTC |
| c7007c3 | lecoutre | 31 August 2020, 16:59:50 UTC | Simplification of a few models | 31 August 2020, 16:59:50 UTC |
| adb5fcf | lecoutre | 30 August 2020, 09:24:09 UTC | Simplified forms of scalar products with matrices | 30 August 2020, 09:24:09 UTC |
| 60b0149 | lecoutre | 25 August 2020, 12:18:25 UTC | Refactoring of code for embedded solvers | 25 August 2020, 12:18:25 UTC |
| df27e5a | XCSP Team | 25 August 2020, 09:34:15 UTC | Merge pull request #6 from xcsp3team/g6testing G6testing | 25 August 2020, 09:34:15 UTC |
| 35d757e | nicolas.szczepanski | 25 August 2020, 09:00:36 UTC | Solvers refactoring + add g6 test choco + move source code for abscon and choco in respectively abscon.py and choco.py | 25 August 2020, 09:00:36 UTC |
| 99b6981 | nicolas.szczepanski | 21 August 2020, 08:56:45 UTC | UnitTestingSum.py + UnitTestingVariable.py Ok + add some information for asserts | 21 August 2020, 08:56:45 UTC |
| 5b77598 | nicolas.szczepanski | 20 August 2020, 20:13:37 UTC | TestAbscon.xml Ok + refactoring py4j solver | 20 August 2020, 20:13:37 UTC |
| 30a74d0 | nicolas.szczepanski | 20 August 2020, 17:43:56 UTC | Refactoring of solver.py | 20 August 2020, 17:43:56 UTC |
| d4ffb1f | nicolas.szczepanski | 20 August 2020, 15:11:32 UTC | UnitTestingExtension.py now works | 20 August 2020, 15:11:32 UTC |
| bbb9531 | lecoutre | 20 August 2020, 13:30:06 UTC | Updated document for solver options | 20 August 2020, 13:30:06 UTC |
| c585cf9 | lecoutre | 20 August 2020, 12:44:38 UTC | New option for solvers | 20 August 2020, 12:44:38 UTC |
| eb04f82 | lecoutre | 20 August 2020, 12:18:11 UTC | Output of embedded solvers revisited | 20 August 2020, 12:18:11 UTC |
| c8e3aa5 | lecoutre | 19 August 2020, 14:13:21 UTC | Bug fixed when getting the last solution of the embedded solvers | 19 August 2020, 14:13:21 UTC |
| 43a4599 | lecoutre | 19 August 2020, 13:49:09 UTC | Model PrizeCollecting finalized | 19 August 2020, 13:49:09 UTC |
| fa72b0e | lecoutre | 19 August 2020, 10:05:00 UTC | guide for solver options | 19 August 2020, 10:05:00 UTC |
| eb83737 | lecoutre | 19 August 2020, 10:02:10 UTC | readme | 19 August 2020, 10:02:10 UTC |
| 3ed2eba | lecoutre | 18 August 2020, 15:09:29 UTC | Refactoring about generation of table constraints | 18 August 2020, 15:09:29 UTC |
| 903411f | XCSP Team | 18 August 2020, 13:27:30 UTC | Merge pull request #5 from xcsp3team/python3.8 Python3.8 | 18 August 2020, 13:27:30 UTC |
| e84c6a1 | nicolas.szczepanski | 18 August 2020, 12:42:22 UTC | smart condition for constraint in extension refactoring + new option restrictTablesWrtDomains | 18 August 2020, 12:42:22 UTC |
| 8c1310f | nicolas.szczepanski | 17 August 2020, 20:56:10 UTC | is_smart() parallel in progress | 17 August 2020, 20:56:10 UTC |
| 162223c | nicolas.szczepanski | 17 August 2020, 13:55:33 UTC | smart table bug solved but optimization deleted | 17 August 2020, 13:55:33 UTC |
| ec398a7 | Szczepanski Nicolas | 14 August 2020, 13:13:07 UTC | version + tester + smart table | 14 August 2020, 13:13:07 UTC |
| 615c42a | Szczepanski Nicolas | 14 August 2020, 08:49:40 UTC | Automatically decompress xml files for testing and automatically delete these decompressed files after testing. | 14 August 2020, 08:49:40 UTC |
| 98e5082 | Szczepanski Nicolas | 14 August 2020, 07:54:37 UTC | merge master | 14 August 2020, 07:54:37 UTC |
| e5a7501 | lecoutre | 11 August 2020, 10:59:16 UTC | Minor refactoring | 11 August 2020, 10:59:16 UTC |
| 2f513ea | lecoutre | 11 August 2020, 09:29:56 UTC | New version of AbsCon | 11 August 2020, 09:29:56 UTC |
| f1836be | XCSP Team | 11 August 2020, 09:10:49 UTC | Merge pull request #4 from xcsp3team/python3.8 Python3.8 | 11 August 2020, 09:10:49 UTC |
| a04465a | Szczepanski Nicolas | 10 August 2020, 15:54:30 UTC | Inspector new algorithm for python 3.8 ok + tests ok: we can merge this branch on the master | 10 August 2020, 15:54:30 UTC |
| 4745bff | Szczepanski Nicolas | 10 August 2020, 12:22:57 UTC | refactoring for tester.py: multiple parameters and python versions - example: python3 pycsp3/problems/tests/g1_single.py -version=[python3.7,python3.8] -waiting | 10 August 2020, 12:22:57 UTC |
| 9b82ce4 | Szczepanski Nicolas | 10 August 2020, 09:12:20 UTC | Add in tester.py the -version= option: to test at the same time multiple versions of python on a set of test problems | 10 August 2020, 09:12:20 UTC |
| bbc50ab | lecoutre | 14 July 2020, 17:47:45 UTC | New version of AbsCon | 14 July 2020, 17:47:45 UTC |
| 5b21b1a | XCSP Team | 13 July 2020, 10:21:42 UTC | Merge pull request #3 from xcsp3team/dev_cpru Choco now deals with (almost) all general options | 13 July 2020, 10:21:42 UTC |
| 9617385 | cprudhom | 13 July 2020, 09:27:40 UTC | New version of Choco + general options + fix typo in compiler.py | 13 July 2020, 09:27:40 UTC |
| 5956207 | lecoutre | 10 July 2020, 15:31:58 UTC | General options recognized by AbsCon | 10 July 2020, 15:31:58 UTC |
| 86743f3 | lecoutre | 01 July 2020, 15:22:38 UTC | New Version of AbsCon | 01 July 2020, 15:22:38 UTC |
| 33f76b1 | lecoutre | 30 June 2020, 14:12:14 UTC | New version of AbsCon | 30 June 2020, 14:12:14 UTC |
| e7cf80b | lecoutre | 29 June 2020, 06:55:48 UTC | Towards a unique interface for embedded solvers | 29 June 2020, 06:55:48 UTC |
| b89603d | lecoutre | 06 June 2020, 07:35:17 UTC | Smart Conditions slightly modified | 06 June 2020, 07:35:17 UTC |
| 3f55ac9 | lecoutre | 27 May 2020, 11:46:58 UTC | Handling smart tuples | 27 May 2020, 11:46:58 UTC |
| 440a7f0 | lecoutre | 26 May 2020, 16:27:41 UTC | Towards handling basic smart tables | 26 May 2020, 16:27:41 UTC |
| d73937f | lecoutre | 20 May 2020, 16:24:46 UTC | Minor refactoring | 20 May 2020, 16:24:46 UTC |
| 8e83c44 | lecoutre | 20 May 2020, 16:10:22 UTC | Guide updated | 20 May 2020, 16:10:22 UTC |
| 6a66bc6 | lecoutre | 19 May 2020, 10:24:05 UTC | Unary Smart Conditions available when posting table constraints | 19 May 2020, 10:24:05 UTC |
| 198ba52 | lecoutre | 18 May 2020, 15:05:53 UTC | Model for Problem Lits | 18 May 2020, 15:05:53 UTC |
| be9c2aa | lecoutre | 16 May 2020, 16:57:29 UTC | Model For Fillomino | 16 May 2020, 16:57:29 UTC |
| 964b6ce | lecoutre | 12 May 2020, 15:07:12 UTC | New versions (jars) for Abscon and Tools | 12 May 2020, 15:07:12 UTC |
| e41fc00 | lecoutre | 12 May 2020, 15:05:23 UTC | Minor refactoring | 12 May 2020, 15:05:23 UTC |
| b2d56a2 | Szczepanski Nicolas | 11 May 2020, 07:56:27 UTC | version | 11 May 2020, 07:56:27 UTC |
| 7b6904e | lecoutre | 10 May 2020, 15:24:30 UTC | Guide updated | 10 May 2020, 15:24:30 UTC |
| ec87b34 | lecoutre | 10 May 2020, 14:47:33 UTC | Guide updated | 10 May 2020, 14:47:33 UTC |
| 2fe1cad | lecoutre | 10 May 2020, 14:34:08 UTC | Bug fixed when collecting variables for displaying solutions | 10 May 2020, 14:34:08 UTC |
| fde01ce | Szczepanski Nicolas | 10 May 2020, 14:03:13 UTC | refactoring | 10 May 2020, 14:03:13 UTC |
| 5860438 | Szczepanski Nicolas | 10 May 2020, 13:57:53 UTC | check the version during the importation of pycsp3 | 10 May 2020, 13:57:53 UTC |
| 3b0e209 | lecoutre | 10 May 2020, 13:23:52 UTC | Guide updated | 10 May 2020, 13:23:52 UTC |
| 3b57b53 | lecoutre | 10 May 2020, 13:15:25 UTC | Guide updated | 10 May 2020, 13:15:25 UTC |
| b69a9c8 | lecoutre | 10 May 2020, 10:23:08 UTC | Updating the guide | 10 May 2020, 10:23:08 UTC |
| 0568dd5 | Szczepanski Nicolas | 10 May 2020, 10:19:04 UTC | README windows | 10 May 2020, 10:19:04 UTC |
