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 |
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 |
909fd49 | lecoutre | 19 October 2020, 16:01:33 UTC | control discarded when posting variable arrays (will be fixed later) | 19 October 2020, 16:01:33 UTC |
f7f6478 | lecoutre | 19 October 2020, 11:40:24 UTC | so.pathsep => os.st fixed | 19 October 2020, 11:40:24 UTC |
c76d4ec | lecoutre | 19 October 2020, 08:54:15 UTC | Minor modification of slver.py | 19 October 2020, 08:54:15 UTC |
eaaaefb | lecoutre | 19 October 2020, 06:47:49 UTC | Refactoring in solver.py | 19 October 2020, 06:47:49 UTC |
fad77df | XCSP Team | 19 October 2020, 06:29:25 UTC | Merge pull request #14 from xcsp3team/logger Logger | 19 October 2020, 06:29:25 UTC |
6a87071 | nicolas.szczepanski | 18 October 2020, 09:59:52 UTC | Displays the right solution when a SIGINT is performed + Displays the solver output in verbose mode | 18 October 2020, 09:59:52 UTC |
8e679d2 | nicolas.szczepanski | 18 October 2020, 07:49:31 UTC | to add verbose option with other options in a python pycsp3 model file | 18 October 2020, 07:49:31 UTC |
bf6b237 | lecoutre | 16 October 2020, 08:46:21 UTC | New option (-safe) | 16 October 2020, 08:46:21 UTC |
324b45e | lecoutre | 14 October 2020, 19:57:05 UTC | New version of AbsCon (new constraint) | 14 October 2020, 19:57:05 UTC |
da60bc9 | lecoutre | 13 October 2020, 18:11:59 UTC | Possibility of using a single value (length) when posting a NoOverlap constraint | 13 October 2020, 18:11:59 UTC |
da8f065 | lecoutre | 13 October 2020, 08:09:34 UTC | Possibility of expressing small constraints with range, as for example: x in range(10) x - y in range(12) but in cannot be used in subtrees of intensional constraints (predicates) | 13 October 2020, 08:09:34 UTC |
c3e7e21 | lecoutre | 09 October 2020, 15:01:44 UTC | Readme updated | 09 October 2020, 15:01:44 UTC |
648f188 | lecoutre | 08 October 2020, 08:33:16 UTC | Readme updated | 08 October 2020, 08:33:16 UTC |
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 |