5cdc7fb | lecoutre | 27 February 2022, 16:50:38 UTC | A few minor extensions | 27 February 2022, 16:50:38 UTC |
1924a73 | lecoutre | 14 February 2022, 12:05:13 UTC | Hadling some cases of Member (Element) constraints | 14 February 2022, 12:05:13 UTC |
968f9bd | lecoutre | 13 February 2022, 09:32:31 UTC | Better recognition of unary extension constraints (when lists are used instead of sets) | 13 February 2022, 09:32:31 UTC |
b3e8921 | lecoutre | 11 February 2022, 15:25:42 UTC | Handling very specific case of constraint Precedence | 11 February 2022, 15:25:42 UTC |
25042b7 | lecoutre | 10 February 2022, 10:28:27 UTC | Better handling of Element constraints (when the somain of the index variable is not appropriate) | 10 February 2022, 10:28:27 UTC |
a5a67d4 | lecoutre | 08 February 2022, 18:15:25 UTC | Possibility of posting BinPacking (variant 'loads') | 08 February 2022, 18:15:25 UTC |
278816b | lecoutre | 05 February 2022, 09:31:30 UTC | KnightTour2 (with constraint Circuit) | 05 February 2022, 09:31:30 UTC |
f5ade5f | lecoutre | 04 February 2022, 15:05:55 UTC | Additional ways of handling solver options (for ACE and Choco) | 04 February 2022, 15:05:55 UTC |
7b36b0d | XCSP Team | 31 January 2022, 08:32:02 UTC | Merge pull request #27 from xcsp3team/cpru-4.10.9 Update choco to 4.10.9-beta | 31 January 2022, 08:32:02 UTC |
079048a | cprudhom | 25 January 2022, 11:05:13 UTC | Update choco to 4.10.9-beta | 25 January 2022, 11:05:13 UTC |
e1e054a | lecoutre | 25 January 2022, 08:22:56 UTC | v 2.0 | 25 January 2022, 08:22:56 UTC |
c13170f | lecoutre | 25 January 2022, 08:16:01 UTC | ACE 2.0 | 25 January 2022, 08:16:01 UTC |
94cd771 | lecoutre | 21 January 2022, 18:32:36 UTC | Two minor modelling extensions | 21 January 2022, 18:32:36 UTC |
aef5ce4 | lecoutre | 03 January 2022, 17:04:28 UTC | Method for getting symmetric cells of a 2-dimensional array | 03 January 2022, 17:04:28 UTC |
054fad6 | lecoutre | 03 January 2022, 11:02:05 UTC | Licence (Univ. Artois and CNRS) | 03 January 2022, 11:02:05 UTC |
8ffa8cb | lecoutre | 31 December 2021, 18:05:59 UTC | New method in Domain for comparison | 31 December 2021, 18:05:59 UTC |
a522fe5 | lecoutre | 30 December 2021, 17:39:49 UTC | Minor extension of constraint Precedence | 30 December 2021, 17:39:49 UTC |
590b4f7 | lecoutre | 27 December 2021, 17:41:41 UTC | Constraint Precedence | 27 December 2021, 17:41:41 UTC |
0dc39a4 | lecoutre | 24 December 2021, 14:14:23 UTC | Possibility of writing automatas with hybrid (smart) conditions | 24 December 2021, 14:14:23 UTC |
25d501b | XCSP Team | 22 December 2021, 10:14:25 UTC | Merge pull request #25 from xcsp3team/cpru-4.10.8 Choco-4.10.8 | 22 December 2021, 10:14:25 UTC |
86d5215 | cprudhom | 20 December 2021, 14:20:47 UTC | Merge branch 'master' of https://github.com/xcsp3team/pycsp3 into cpru | 20 December 2021, 14:20:47 UTC |
e446c90 | cprudhom | 20 December 2021, 14:19:50 UTC | First move to Choco+pycsp3 2.0 | 20 December 2021, 14:19:50 UTC |
7e46958 | lecoutre | 18 December 2021, 11:21:30 UTC | Guide Updated | 18 December 2021, 11:21:30 UTC |
4e2f888 | XCSP Team | 18 December 2021, 11:09:58 UTC | Update README.md | 18 December 2021, 11:09:58 UTC |
ff5b3c2 | XCSP Team | 18 December 2021, 11:09:21 UTC | Update README.md | 18 December 2021, 11:09:21 UTC |
d3d2ce4 | XCSP Team | 18 December 2021, 11:08:02 UTC | Update README.md | 18 December 2021, 11:08:02 UTC |
f217ebf | XCSP Team | 18 December 2021, 11:07:28 UTC | Update README.md | 18 December 2021, 11:07:28 UTC |
c39649d | XCSP Team | 18 December 2021, 11:04:24 UTC | Update README.md | 18 December 2021, 11:04:24 UTC |
ddfbb2c | XCSP Team | 18 December 2021, 11:02:31 UTC | Update README.md | 18 December 2021, 11:02:31 UTC |
f7bc3d3 | XCSP Team | 18 December 2021, 11:01:42 UTC | Update README.md | 18 December 2021, 11:01:42 UTC |
847e8f2 | XCSP Team | 18 December 2021, 10:59:59 UTC | Update README.md | 18 December 2021, 10:59:59 UTC |
e0a42e6 | XCSP Team | 18 December 2021, 10:59:34 UTC | Update README.md | 18 December 2021, 10:59:34 UTC |
4fef4e3 | XCSP Team | 18 December 2021, 10:58:03 UTC | Update README.md | 18 December 2021, 10:58:03 UTC |
281ed92 | XCSP Team | 18 December 2021, 10:56:23 UTC | Update README.md | 18 December 2021, 10:56:23 UTC |
a4cf52e | XCSP Team | 18 December 2021, 10:54:10 UTC | Update README.md | 18 December 2021, 10:54:10 UTC |
78339bd | XCSP Team | 18 December 2021, 10:53:04 UTC | Update README.md | 18 December 2021, 10:53:04 UTC |
7d75205 | XCSP Team | 18 December 2021, 10:52:39 UTC | Update README.md | 18 December 2021, 10:52:39 UTC |
6554beb | XCSP Team | 18 December 2021, 10:50:38 UTC | Update README.md | 18 December 2021, 10:50:38 UTC |
9e16228 | XCSP Team | 18 December 2021, 10:49:08 UTC | Update README.md | 18 December 2021, 10:49:08 UTC |
f76baf9 | XCSP Team | 18 December 2021, 10:48:43 UTC | Update README.md | 18 December 2021, 10:48:43 UTC |
7e37f26 | XCSP Team | 18 December 2021, 10:44:59 UTC | Update README.md | 18 December 2021, 10:44:59 UTC |
46788e5 | XCSP Team | 18 December 2021, 10:43:21 UTC | Update README.md | 18 December 2021, 10:43:21 UTC |
2b07548 | XCSP Team | 18 December 2021, 10:43:08 UTC | Update README.md | 18 December 2021, 10:43:08 UTC |
206f917 | lecoutre | 14 December 2021, 12:35:23 UTC | README modified | 14 December 2021, 12:35:23 UTC |
a9cba8f | lecoutre | 14 December 2021, 08:44:41 UTC | Import removed | 14 December 2021, 08:44:41 UTC |
3040d3a | lecoutre | 11 December 2021, 10:08:47 UTC | Possibility of posting variables on the fly (for 1-dimensional array) | 11 December 2021, 10:08:47 UTC |
5e54438 | lecoutre | 04 December 2021, 11:51:09 UTC | Function posted() slightly modified | 04 December 2021, 11:51:09 UTC |
e2eb2cc | lecoutre | 03 December 2021, 18:18:31 UTC | Loading JSON files via URLs | 03 December 2021, 18:18:31 UTC |
1adeba5 | lecoutre | 01 December 2021, 14:23:25 UTC | Bug fixed when reformulating some forms of Element constraints Possibility of loading data files (with option -data) from an URL | 01 December 2021, 14:23:25 UTC |
42a870a | lecoutre | 25 November 2021, 12:11:52 UTC | Three models slightly modified | 25 November 2021, 12:11:52 UTC |
e77efca | lecoutre | 16 November 2021, 15:18:29 UTC | Minor change | 16 November 2021, 15:18:29 UTC |
7ca36dd | lecoutre | 16 November 2021, 14:14:02 UTC | Docstring added | 16 November 2021, 14:14:02 UTC |
6be9172 | lecoutre | 16 November 2021, 12:39:25 UTC | Compressing two instances | 16 November 2021, 12:39:25 UTC |
dcdc97a | lecoutre | 16 November 2021, 12:36:01 UTC | Compressing Fapp_ex2 | 16 November 2021, 12:36:01 UTC |
97fb817 | lecoutre | 16 November 2021, 12:13:44 UTC | Renaming directory real by complex | 16 November 2021, 12:13:44 UTC |
71db10d | lecoutre | 15 November 2021, 18:31:02 UTC | Docstring for some functions | 15 November 2021, 18:31:02 UTC |
9dbe381 | lecoutre | 14 November 2021, 17:50:45 UTC | Docstring for members of the interface | 14 November 2021, 17:50:45 UTC |
06c7dc8 | lecoutre | 13 November 2021, 17:12:55 UTC | Commenting a few functions | 13 November 2021, 17:12:55 UTC |
83a592c | lecoutre | 11 November 2021, 17:08:37 UTC | New method of the interface to dela with unsatisfiable cores | 11 November 2021, 17:08:37 UTC |
ba9cfa0 | lecoutre | 10 November 2021, 18:24:51 UTC | A few new methods for the interface | 10 November 2021, 18:24:51 UTC |
0609dc8 | lecoutre | 08 November 2021, 15:30:53 UTC | Extended usage of NoOverlap | 08 November 2021, 15:30:53 UTC |
f533a8b | lecoutre | 08 November 2021, 12:36:05 UTC | Method posted() revisited | 08 November 2021, 12:36:05 UTC |
7288045 | lecoutre | 07 November 2021, 13:07:45 UTC | Refactoring imports | 07 November 2021, 13:07:45 UTC |
0ca22fd | lecoutre | 06 November 2021, 17:44:24 UTC | Interface for accessing the solver slightly changed | 06 November 2021, 17:44:24 UTC |
d8d2c0b | lecoutre | 06 November 2021, 12:37:18 UTC | New options when piloting the solver | 06 November 2021, 12:37:18 UTC |
5cc94c6 | lecoutre | 05 November 2021, 17:44:07 UTC | New version of ACE | 05 November 2021, 17:44:07 UTC |
7fcc507 | lecoutre | 04 November 2021, 07:55:34 UTC | Extended use of alphabet_positions | 04 November 2021, 07:55:34 UTC |
ff9961f | lecoutre | 03 November 2021, 18:19:28 UTC | Extended method for displaying values (of solutions) | 03 November 2021, 18:19:28 UTC |
7ff6ef8 | lecoutre | 03 November 2021, 15:17:01 UTC | Additionals for interactive use | 03 November 2021, 15:17:01 UTC |
d8875b3 | lecoutre | 02 November 2021, 14:08:03 UTC | Lists of values automatically structured (when printed) | 02 November 2021, 14:08:03 UTC |
fb0c7d7 | lecoutre | 01 November 2021, 11:15:02 UTC | Function to build structured_lists | 01 November 2021, 11:15:02 UTC |
88bfcbd | lecoutre | 31 October 2021, 09:53:23 UTC | Overwritting when several objectives are posted | 31 October 2021, 09:53:23 UTC |
09e5415 | lecoutre | 31 October 2021, 08:54:47 UTC | managing the history of found solutions | 31 October 2021, 08:54:47 UTC |
7bf8bd9 | lecoutre | 30 October 2021, 14:14:57 UTC | Posqible slice as parameter of function posted() | 30 October 2021, 14:14:57 UTC |
fb18ae0 | lecoutre | 30 October 2021, 10:59:24 UTC | Renaming reset() as clear() | 30 October 2021, 10:59:24 UTC |
ef5dcf5 | lecoutre | 29 October 2021, 16:40:53 UTC | Possibility of displaying the assigned values of a specific list of variables (with function values()) | 29 October 2021, 16:40:53 UTC |
46bccff | lecoutre | 29 October 2021, 13:57:52 UTC | Possibility of getting the textual representation of posted constraints (when piloting the solving process) | 29 October 2021, 13:57:52 UTC |
7e06e9b | lecoutre | 29 October 2021, 10:45:15 UTC | Setting the fields 'value' and 'values' of variablmes and lists of variables (ListVar) when solutions are found | 29 October 2021, 10:45:15 UTC |
7185e54 | lecoutre | 28 October 2021, 17:26:05 UTC | Each (multi-dimensional) array has a new field (multi-dimensional array) values when a solution is found (when piloting the solver) | 28 October 2021, 17:26:05 UTC |
6014527 | lecoutre | 28 October 2021, 16:38:25 UTC | Possibility of putting unary expressions of the form 'x not in S' as parts of more general expressions. | 28 October 2021, 16:38:25 UTC |
cecf54b | lecoutre | 28 October 2021, 15:45:15 UTC | Possibility of putting unary expressions of the form 'x in S' as parts of more general expressions. An alternative is: belong(x,S). | 28 October 2021, 15:45:15 UTC |
e89ef25 | lecoutre | 27 October 2021, 14:11:09 UTC | New methods when piloting the solver | 27 October 2021, 14:11:09 UTC |
317a84f | lecoutre | 24 October 2021, 11:08:56 UTC | New version of ACE | 24 October 2021, 11:08:56 UTC |
e81a4f2 | lecoutre | 21 October 2021, 17:06:19 UTC | Minor refactoring | 21 October 2021, 17:06:19 UTC |
9bb361a | lecoutre | 21 October 2021, 12:55:15 UTC | Slight modification in Aggregaror | 21 October 2021, 12:55:15 UTC |
7eea307 | lecoutre | 21 October 2021, 07:57:36 UTC | Bug fixed for "*" in solutions | 21 October 2021, 07:57:36 UTC |
b05801d | lecoutre | 21 October 2021, 07:32:35 UTC | refactoring for incremental solving | 21 October 2021, 07:32:35 UTC |
71e661f | lecoutre | 20 October 2021, 11:07:51 UTC | Object Enums used for solvers | 20 October 2021, 11:07:51 UTC |
c03167d | lecoutre | 20 October 2021, 11:05:24 UTC | Object Enums used for solvers | 20 October 2021, 11:05:24 UTC |
d50b27c | lecoutre | 19 October 2021, 17:01:49 UTC | Incremental solving | 19 October 2021, 17:01:49 UTC |
335dc71 | lecoutre | 19 October 2021, 08:30:25 UTC | Warning displayed when you are likely to write intension constraints incorrectly | 19 October 2021, 08:30:25 UTC |
cbe9e21 | lecoutre | 03 October 2021, 21:01:50 UTC | Possibility of reset (in interactive mode) | 03 October 2021, 21:01:50 UTC |
258b360 | lecoutre | 03 October 2021, 20:19:38 UTC | Possibility of reset (in interactive mode) | 03 October 2021, 20:19:38 UTC |
b56d65b | lecoutre | 03 October 2021, 20:08:56 UTC | Possibility of reste (in interactive mode) | 03 October 2021, 20:08:56 UTC |
655a1b1 | lecoutre | 03 October 2021, 18:59:49 UTC | Modifications of names of directory and solvers | 03 October 2021, 18:59:49 UTC |
0956b84 | lecoutre | 30 September 2021, 12:49:52 UTC | Refactoring wrt last merging operation | 30 September 2021, 12:49:52 UTC |
c64c76e | XCSP Team | 30 September 2021, 11:45:33 UTC | Merge pull request #22 from xcsp3team/smart Smart | 30 September 2021, 11:45:33 UTC |
a6349f5 | nicolas.szczepanski | 23 September 2021, 13:25:58 UTC | Smart tuple with some elements of the form {eq|lt|le|ge|gt|ne}{var|interger}{+|-}{var|interger} Ok | 23 September 2021, 13:25:58 UTC |
e601559 | nicolas.szczepanski | 23 September 2021, 11:01:04 UTC | reflexion | 23 September 2021, 11:01:04 UTC |
9622aa8 | lecoutre | 20 September 2021, 09:27:41 UTC | Towards incremental solving | 20 September 2021, 09:27:41 UTC |