https://github.com/xcsp3team/pycsp3

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