be42963 | 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 |
9450e3e | nicolas.szczepanski | 23 September 2021, 11:01:04 UTC | reflexion | 23 September 2021, 11:01:04 UTC |
47d9d42 | nicolas.szczepanski | 16 September 2021, 13:35:03 UTC | smart tuples seems to be worked | 16 September 2021, 13:35:03 UTC |
81214f8 | nicolas.szczepanski | 16 September 2021, 08:19:29 UTC | Add eq() + utf of EQ | 16 September 2021, 08:19:29 UTC |
d494ca6 | nicolas.szczepanski | 25 June 2021, 07:06:31 UTC | merge with master | 25 June 2021, 07:06:31 UTC |
c62d224 | lecoutre | 21 June 2021, 10:20:34 UTC | version 1.3 | 21 June 2021, 10:20:34 UTC |
f3a9363 | lecoutre | 21 June 2021, 10:18:58 UTC | Towards 1.3 | 21 June 2021, 10:18:58 UTC |
c18bcff | lecoutre | 20 June 2021, 15:39:12 UTC | Better handling of element constraints (when introducing auxiliary variables) | 20 June 2021, 15:39:12 UTC |
9823d1c | lecoutre | 18 June 2021, 10:37:57 UTC | Minor Refactoring of a few models (and avoiding crash due to the presence of '/' in data) | 18 June 2021, 10:37:57 UTC |
08ffee3 | lecoutre | 17 June 2021, 06:40:53 UTC | New version of Ace | 17 June 2021, 06:40:53 UTC |
12dbaf0 | lecoutre | 13 June 2021, 15:10:52 UTC | Refactoring | 13 June 2021, 15:10:52 UTC |
91001d1 | nicolas.szczepanski | 13 June 2021, 08:23:29 UTC | solver update for external solver | 13 June 2021, 08:23:29 UTC |
405fc26 | nicolas.szczepanski | 11 June 2021, 14:07:24 UTC | SchedulingFS_Parser.py | 11 June 2021, 14:07:24 UTC |
ec3ebdd | lecoutre | 04 June 2021, 09:01:40 UTC | Bug fixed for variant 'max' of RLFAP | 04 June 2021, 09:01:40 UTC |
cf3dc9e | lecoutre | 02 June 2021, 09:30:31 UTC | New version of Ace (bug fixed for the intensional form 'ift') | 02 June 2021, 09:30:31 UTC |
a94af92 | lecoutre | 29 May 2021, 13:54:41 UTC | Speeding up the creation of domains (when compiling) | 29 May 2021, 13:54:41 UTC |
054b27c | lecoutre | 17 May 2021, 07:30:00 UTC | New version of Ace | 17 May 2021, 07:30:00 UTC |
0c30324 | lecoutre | 10 May 2021, 15:55:38 UTC | Two model parsers | 10 May 2021, 15:55:38 UTC |
6687882 | lecoutre | 10 May 2021, 15:52:14 UTC | 7 new models/problems | 10 May 2021, 15:52:14 UTC |
40a3d56 | lecoutre | 10 May 2021, 15:04:04 UTC | Better slide recognition (when in circular mode and arity >2) | 10 May 2021, 15:04:04 UTC |
149d8fa | lecoutre | 10 May 2021, 14:39:37 UTC | Managing empty lists built by conjunction or disjunction | 10 May 2021, 14:39:37 UTC |
df4bcb9 | lecoutre | 08 May 2021, 17:54:52 UTC | Bug fixed when using a cache of auxiliary variables (comparison of constraint arguments fixed) | 08 May 2021, 17:54:52 UTC |
ff55f67 | lecoutre | 07 May 2021, 12:56:16 UTC | Minor modification (towards incrementality) | 07 May 2021, 12:56:16 UTC |
5fd5add | lecoutre | 04 May 2021, 09:02:42 UTC | Some refactoring and new version of Ace (21-05) | 04 May 2021, 09:02:42 UTC |
24e65a7 | XCSP Team | 04 May 2021, 08:17:29 UTC | Merge pull request #21 from xcsp3team/incremental Incremental | 04 May 2021, 08:17:29 UTC |
6455816 | nicolas.szczepanski | 04 May 2021, 08:07:08 UTC | old print deleted | 04 May 2021, 08:07:08 UTC |
ee88609 | nicolas.szczepanski | 04 May 2021, 07:57:55 UTC | solver.setting now works in an incremental way (several calls to solve) | 04 May 2021, 07:57:55 UTC |
f7d445c | lecoutre | 30 April 2021, 15:33:40 UTC | Possibility of loading several data non-JSON files (will be explianed in the guide) | 30 April 2021, 15:33:40 UTC |
b230282 | lecoutre | 30 April 2021, 07:45:26 UTC | New version of ACE (fixing the problem of being able to stop after 1 solution when solving a COP) | 30 April 2021, 07:45:26 UTC |
3736348 | nicolas.szczepanski | 27 April 2021, 13:46:33 UTC | verbose in solve() | 27 April 2021, 13:46:33 UTC |
9a61f6e | nicolas.szczepanski | 27 April 2021, 08:54:26 UTC | Incremental in progress | 27 April 2021, 08:54:26 UTC |
7ca3da5 | lecoutre | 21 April 2021, 09:04:09 UTC | Refactoring on methods used for explictly handling compilation | 21 April 2021, 09:04:09 UTC |
2203d6f | lecoutre | 12 April 2021, 15:03:27 UTC | Additional tests for compilation output (2/2) | 12 April 2021, 15:03:27 UTC |
1f6ed45 | lecoutre | 11 April 2021, 17:48:18 UTC | Additional tests for compilation output (1/2) | 11 April 2021, 17:48:18 UTC |
2a1458d | lecoutre | 10 April 2021, 17:10:08 UTC | New models | 10 April 2021, 17:10:08 UTC |
6280610 | lecoutre | 09 April 2021, 16:54:24 UTC | Automatically flatenning scopes of table constraints | 09 April 2021, 16:54:24 UTC |
c0500f3 | lecoutre | 08 April 2021, 16:22:27 UTC | Updating end of Section 2.1, page 43 | 08 April 2021, 16:22:27 UTC |
f030e1b | lecoutre | 06 April 2021, 17:07:43 UTC | Possibility of decomposing ElementMatrix | 06 April 2021, 17:07:43 UTC |
560e445 | lecoutre | 05 April 2021, 16:31:52 UTC | New version of ACE | 05 April 2021, 16:31:52 UTC |
f443b00 | lecoutre | 03 April 2021, 09:22:39 UTC | Fixing the use of global parameters in comments (for python 3.9) | 03 April 2021, 09:22:39 UTC |
01424b1 | lecoutre | 01 April 2021, 11:53:17 UTC | Model for Problem Rehearsal | 01 April 2021, 11:53:17 UTC |
9c1769d | lecoutre | 31 March 2021, 12:52:55 UTC | managing predicates with operatior in (as in x % 5 in {1,3}) | 31 March 2021, 12:52:55 UTC |
b1295ef | lecoutre | 31 March 2021, 10:28:24 UTC | New models | 31 March 2021, 10:28:24 UTC |
6ef6dcb | lecoutre | 30 March 2021, 17:00:22 UTC | Possility of combining partial constraints with operators % and // (mod and floordiv) | 30 March 2021, 17:00:22 UTC |
95cc0dd | lecoutre | 30 March 2021, 09:41:38 UTC | Refined XML output for Cardinality | 30 March 2021, 09:41:38 UTC |
a25aaf8 | lecoutre | 29 March 2021, 11:48:11 UTC | Bug fixed in extract_code (for console mode) | 29 March 2021, 11:48:11 UTC |
f28e914 | lecoutre | 27 March 2021, 13:45:30 UTC | README | 27 March 2021, 13:45:30 UTC |
774c09e | lecoutre | 27 March 2021, 11:37:09 UTC | Version 1.2.2 | 27 March 2021, 11:37:09 UTC |
582aeb9 | XCSP Team | 27 March 2021, 11:02:36 UTC | Merge pull request #20 from xcsp3team/windows Windows | 27 March 2021, 11:02:36 UTC |
0573d55 | nicolas.szczepanski | 27 March 2021, 11:00:04 UTC | little bug solved on linux | 27 March 2021, 11:00:04 UTC |
6ccdc85 | Nicolas | 27 March 2021, 10:38:27 UTC | Windows now works with python3.9.2 | 27 March 2021, 10:38:27 UTC |
ea62a4c | Nicolas | 27 March 2021, 09:26:03 UTC | Merge branch 'master' into windows | 27 March 2021, 09:26:03 UTC |
f458eb7 | Nicolas | 27 March 2021, 09:13:53 UTC | subprocess on windows has changed (now we have to add the parameter shell=True) | 27 March 2021, 09:13:53 UTC |
9e1c11e | lecoutre | 25 March 2021, 14:29:51 UTC | Discarding a few dependencies | 25 March 2021, 14:29:51 UTC |
cce76c9 | lecoutre | 21 March 2021, 15:51:36 UTC | Better integration partial sums in general expressions, and improvement of the protect mode of the object OpOveridder | 21 March 2021, 15:51:36 UTC |
7bf4ab3 | lecoutre | 16 March 2021, 14:51:53 UTC | Fixing the XML representation of the Elmeent constraint | 16 March 2021, 14:51:53 UTC |
ae86805 | lecoutre | 16 March 2021, 14:01:23 UTC | Missing method in solver | 16 March 2021, 14:01:23 UTC |
9054edf | lecoutre | 16 March 2021, 13:54:26 UTC | Bug fixed when posting an element constraint with a condition whose operator is not eq (equal) | 16 March 2021, 13:54:26 UTC |
6761d07 | lecoutre | 16 March 2021, 12:45:14 UTC | New version of ACE | 16 March 2021, 12:45:14 UTC |
b9bde75 | lecoutre | 16 March 2021, 10:11:03 UTC | Modifications from Nicolas | 16 March 2021, 10:11:03 UTC |
d09d0a5 | lecoutre | 15 March 2021, 14:49:53 UTC | Extending ways of handling meta-constraints | 15 March 2021, 14:49:53 UTC |
977d5b5 | lecoutre | 14 March 2021, 17:11:30 UTC | Curser slightly updated | 14 March 2021, 17:11:30 UTC |
52d3996 | lecoutre | 14 March 2021, 11:40:27 UTC | Four new models (Vellino, StableMarraige, Grocery, Dudeney) | 14 March 2021, 11:40:27 UTC |
d6b5481 | lecoutre | 14 March 2021, 11:19:18 UTC | Logical combinations of constraints: - new compiler option (-useMeta) - meta-constraints posted if global constraints cannot be externalized by introducing auxialiary variables A new chapter in the guide will be added soon to discuss this topic | 14 March 2021, 11:19:18 UTC |
14abc50 | XCSP Team | 11 February 2021, 10:31:12 UTC | Merge pull request #16 from xcsp3team/update Update | 11 February 2021, 10:31:12 UTC |
c79ade2 | nicolas.szczepanski | 11 February 2021, 09:23:04 UTC | to display conditions | 11 February 2021, 09:23:04 UTC |
bbbf0be | nicolas.szczepanski | 11 February 2021, 09:20:44 UTC | unique filenames for the Logger of solvers + two new function to change the solver object: set_command and extend_logger | 11 February 2021, 09:20:44 UTC |
7addc20 | nicolas.szczepanski | 11 February 2021, 08:44:27 UTC | flush and close more later in Logger | 11 February 2021, 08:44:27 UTC |
31bb10b | nicolas.szczepanski | 11 February 2021, 08:35:47 UTC | user-defined XML file name | 11 February 2021, 08:35:47 UTC |
233608c | lecoutre | 01 February 2021, 18:22:28 UTC | Managing auxilairy variables for Elementmatrix | 01 February 2021, 18:22:28 UTC |
44effee | lecoutre | 26 January 2021, 13:09:23 UTC | Two json files | 26 January 2021, 13:09:23 UTC |
cb8185e | lecoutre | 24 January 2021, 17:32:13 UTC | Possibility of using the parameter tasks when postin a constraint NoOverlap or Cumulative | 24 January 2021, 17:32:13 UTC |
837472e | lecoutre | 19 January 2021, 15:33:30 UTC | Fixed pb when replacing nodes | 19 January 2021, 15:33:30 UTC |
9687c74 | lecoutre | 19 January 2021, 15:24:36 UTC | Kakuro fixed | 19 January 2021, 15:24:36 UTC |
4c81fa7 | lecoutre | 19 January 2021, 15:18:47 UTC | A few extensions on expressions that can be used when posting constraints | 19 January 2021, 15:18:47 UTC |
67283ce | lecoutre | 18 January 2021, 17:35:49 UTC | Possibility of combing Sum Expressions and Trees | 18 January 2021, 17:35:49 UTC |
a291c9d | lecoutre | 18 January 2021, 13:46:14 UTC | A few models simplified | 18 January 2021, 13:46:14 UTC |
a562d58 | lecoutre | 17 January 2021, 14:23:56 UTC | Minor modifications | 17 January 2021, 14:23:56 UTC |
8393eba | lecoutre | 17 January 2021, 14:17:59 UTC | Possibility of managing logical combinations of constraints, with meta-constraints or automatic conversions through auxiliary variables | 17 January 2021, 14:17:59 UTC |
8c93224 | lecoutre | 16 January 2021, 17:43:27 UTC | managing meta-constraints | 16 January 2021, 17:43:27 UTC |
69d17aa | lecoutre | 13 January 2021, 17:21:02 UTC | Possibility of combining Sum and Maximum partial constraints in the objective expression | 13 January 2021, 17:21:02 UTC |
3b4b57c | lecoutre | 12 January 2021, 07:38:08 UTC | New version of Ace | 12 January 2021, 07:38:08 UTC |
a360de9 | lecoutre | 11 January 2021, 17:00:45 UTC | Modifications around a couple of models | 11 January 2021, 17:00:45 UTC |
ee5250b | lecoutre | 11 January 2021, 10:42:55 UTC | Renaming some files (Abscon -> Ace) | 11 January 2021, 10:42:55 UTC |
30f8a89 | lecoutre | 10 January 2021, 10:41:22 UTC | New problem/model : AircraftLanding | 10 January 2021, 10:41:22 UTC |
c6ca426 | lecoutre | 09 January 2021, 18:37:33 UTC | Some model modifications | 09 January 2021, 18:37:33 UTC |
ddf3645 | lecoutre | 07 January 2021, 18:11:22 UTC | Blackhole generation fixed (Blackhole_Random) | 07 January 2021, 18:11:22 UTC |
6e044d6 | lecoutre | 05 January 2021, 18:05:02 UTC | New version of AbsCon (ACE) | 05 January 2021, 18:05:02 UTC |
b9d3a91 | lecoutre | 27 December 2020, 18:08:49 UTC | Possibility of using compact forms of values (e.g., 1*5 standing for 1 1 1 1 1) | 27 December 2020, 18:08:49 UTC |
21f9c7d | lecoutre | 26 December 2020, 17:10:34 UTC | Possibility of loading several json files (and overwriting a "default" value) | 26 December 2020, 17:10:34 UTC |
b75560e | lecoutre | 24 December 2020, 12:41:18 UTC | Model for ProgressiveParty revisited | 24 December 2020, 12:41:18 UTC |
daf4edd | lecoutre | 22 December 2020, 12:58:49 UTC | Minor modification of a model | 22 December 2020, 12:58:49 UTC |
325e7b7 | lecoutre | 03 December 2020, 12:22:32 UTC | Bug fixed when posting constraints of the form x == (y == z) | 03 December 2020, 12:22:32 UTC |
a75667a | lecoutre | 04 November 2020, 12:13:33 UTC | Possibility of recursively handling - (unary inverse) and ~ (logical negation) | 04 November 2020, 12:13:33 UTC |
2abb4f3 | lecoutre | 30 October 2020, 13:42:33 UTC | Minor modifications of two models | 30 October 2020, 13:42:33 UTC |
56e0b07 | lecoutre | 20 October 2020, 09:11:57 UTC | Typos removed | 20 October 2020, 09:11:57 UTC |
d01d91f | XCSP Team | 20 October 2020, 09:11:21 UTC | Merge pull request #15 from xcsp3team/logger Get good parameters when solve() is call inside the model + solver.lo… | 20 October 2020, 09:11:21 UTC |
4193c03 | XCSP Team | 20 October 2020, 09:11:06 UTC | Merge branch 'master' into logger | 20 October 2020, 09:11:06 UTC |
afedd2e | nicolas.szczepanski | 20 October 2020, 08:58:55 UTC | Get good parameters when solve() is call inside the model + solver.log is now write gradually | 20 October 2020, 08:58:55 UTC |
f728757 | lecoutre | 20 October 2020, 07:22:27 UTC | Bug fixed in CheckType | 20 October 2020, 07:22:27 UTC |