https://github.com/xcsp3team/pycsp3

sort by:
Revision Author Date Message Commit Date
b1cd464 merging Merge branch 'master' of https://github.com/xcsp3team/pycsp3 03 April 2024, 14:23:57 UTC
a3265e7 Minor extensions 03 April 2024, 14:23:33 UTC
de26576 Update README.md 27 March 2024, 12:19:13 UTC
a013fdc Update README.md 27 March 2024, 12:17:57 UTC
0d8dd62 Update README.md 27 March 2024, 12:16:46 UTC
3259f18 merging Merge branch 'master' of https://github.com/xcsp3team/pycsp3 27 March 2024, 12:16:15 UTC
2dc6361 logo 27 March 2024, 12:15:46 UTC
c24a4e8 Update README.md 27 March 2024, 12:13:30 UTC
0fce167 logo (first attempt) 27 March 2024, 12:11:10 UTC
1c3e751 __init__ restored 27 March 2024, 10:13:19 UTC
fc3a9cc Update README.md 27 March 2024, 09:09:59 UTC
001ccf7 Update README.md 27 March 2024, 09:09:14 UTC
dbd4534 Update README.md 27 March 2024, 09:08:32 UTC
7759d47 Update version.txt 27 March 2024, 09:07:24 UTC
aa4ea23 Paremeter 'within' instead of 'term'. ACE 2.3 embedded. 27 March 2024, 09:03:11 UTC
5c4e442 Bug fixed for "except tuples" of AllDifferentList 21 March 2024, 12:32:53 UTC
73181be Handling indexing from Iterable (e.g., from reversed()) 21 March 2024, 10:07:29 UTC
89fc047 A few names of parameters changed Lex constraints posted directly 20 March 2024, 16:14:56 UTC
40ce14e Better handling of Dummy Constraints 16 March 2024, 17:05:07 UTC
edf7208 Extending the use of Case structure to tuples 14 March 2024, 12:31:31 UTC
3d024bd Choosing the right default value for zero_ignored of constraint NoOverlap 11 March 2024, 07:22:27 UTC
2dc9cf8 Bug fixed with attribute "zeroIgnored" of NoOverlap 09 March 2024, 10:24:32 UTC
fb651a2 Methods conjunction and disjunction slightly extended 03 March 2024, 16:01:09 UTC
172dbef Update README.md 23 February 2024, 15:41:26 UTC
db525e1 Update README.md 23 February 2024, 15:38:33 UTC
1a1fa8c Update README.md 23 February 2024, 15:34:02 UTC
b7db380 Update README.md 23 February 2024, 15:32:48 UTC
97c78de Update README.md 23 February 2024, 15:28:35 UTC
5a28692 Bug fixed with the starting index of some specific cases of constraint Element 19 February 2024, 16:51:21 UTC
4ca47f2 Minor modification about indexing Cp arrays 15 February 2024, 15:44:59 UTC
3b2dbcb Simplifying expressions with succesive add/sub operations (involving integers) 13 February 2024, 13:04:17 UTC
9bc4a50 merging Merge branch 'master' of https://github.com/xcsp3team/pycsp3 12 February 2024, 17:56:21 UTC
2db6f4d Extending the way Elemtn constraints can be posted 12 February 2024, 17:55:38 UTC
67e7665 Update README.md 09 February 2024, 18:13:51 UTC
09e514f Update README.md 09 February 2024, 12:23:22 UTC
6d9864e Update README.md 09 February 2024, 12:20:53 UTC
9d9c8e2 Update README.md 09 February 2024, 12:20:16 UTC
e02125c Update README.md 09 February 2024, 12:15:08 UTC
97ce479 Update README.md 09 February 2024, 12:14:33 UTC
1449e22 Update README.md 09 February 2024, 12:11:30 UTC
73e7889 Update README.md 09 February 2024, 12:09:25 UTC
f3ebcda Update README.md 09 February 2024, 11:56:20 UTC
ba2be99 Update README.md 09 February 2024, 11:55:25 UTC
beb5d1d Fixing import problem 08 February 2024, 14:18:56 UTC
a6b9b7a Parser XCSP3 included in directory 'parser' 08 February 2024, 14:15:14 UTC
67efbc6 Fixing a problem with annotations 08 February 2024, 11:00:57 UTC
181242e A few methods changed in class Node 07 February 2024, 18:53:48 UTC
34357da Adding a few methods to Node 07 February 2024, 15:19:27 UTC
74632c7 Additional methods for Node 06 February 2024, 18:23:02 UTC
b738316 Renaming main field of Node (sons -> cnt) 06 February 2024, 14:19:09 UTC
9bdbd04 Refactoring nodes 06 February 2024, 13:40:10 UTC
0c5a64c Refcatoring (a few files renamed) 05 February 2024, 18:14:46 UTC
182cd27 Additional functionalities for Node 03 February 2024, 15:25:11 UTC
40daa09 Renaming ptypes.py as enums.py 03 February 2024, 09:55:42 UTC
71ca36e TypeNode and Node put in a speficic file 'nodes.py' 03 February 2024, 09:44:13 UTC
844ced5 Fixing pb with TypeAnn (replacing TypeXML) 02 February 2024, 17:53:37 UTC
3baa5f4 Additional methods in class Node (and TypeNode) 01 February 2024, 17:25:32 UTC
0f5ef46 merging Merge branch 'master' of https://github.com/xcsp3team/pycsp3 30 January 2024, 17:22:03 UTC
cf6c5ff Method is_literal() added to Node (and too strong assert discarded) 30 January 2024, 17:20:37 UTC
6f5d8ea Update README.md 29 January 2024, 14:22:51 UTC
7b7cc07 Update README.md 28 January 2024, 10:33:49 UTC
ef82dc6 Update README.md 27 January 2024, 12:45:43 UTC
3a831e3 Update README.md 27 January 2024, 12:44:24 UTC
236b657 Update README.md 27 January 2024, 12:41:18 UTC
11a3a1f Update README.md 27 January 2024, 12:40:50 UTC
165f7c4 Update README.md 27 January 2024, 12:40:35 UTC
3219a7b Update README.md 27 January 2024, 12:36:36 UTC
2f13ad4 Update README.md 27 January 2024, 12:36:14 UTC
553a41a Update README.md 27 January 2024, 12:33:22 UTC
ba5739d Update README.md 27 January 2024, 12:32:16 UTC
040866a TypeAnn inserted 19 January 2024, 15:29:22 UTC
99a9b85 Buf fixed in Node 17 January 2024, 17:37:35 UTC
5c26c8e Fixing some warnings 16 January 2024, 10:37:26 UTC
bfa7e3a Some warnings fixed 13 January 2024, 11:08:35 UTC
5183825 A few warnings fixed 12 January 2024, 18:37:04 UTC
e771d8c Towards calling callback functions when compiling a model (instaed of generating an XCSP3 instance) 07 January 2024, 12:26:03 UTC
23409a7 All models are now in https://github.com/xcsp3team/pycsp3-models Files used for development tests are now in a private directory. 29 December 2023, 12:44:59 UTC
244dedc Towards externalizing all models 28 December 2023, 22:24:48 UTC
ee87e8c Towards externalizing models 27 December 2023, 18:23:47 UTC
8a1c14c Towards externalizing all models 27 December 2023, 15:40:51 UTC
f32e054 Towards totally externalizing models (in pycsp3-models at GitHub) 26 December 2023, 15:53:08 UTC
f524073 Handling Adhoc constraints 20 December 2023, 13:39:57 UTC
8542d07 Towards introduding adhoc constraints 15 December 2023, 11:49:38 UTC
0cb985d guide updated 15 December 2023, 10:02:37 UTC
d322fdb v2.2 13 December 2023, 09:12:39 UTC
f2bd850 Typo in README 13 December 2023, 08:51:55 UTC
3ff4690 Merge pull request #43 from xcsp3team/xcsp3team-patch-3 Update README.md 13 December 2023, 08:50:36 UTC
32e797e Update README.md 13 December 2023, 08:50:18 UTC
a29a1b6 Merge pull request #42 from xcsp3team/xcsp3team-patch-2 Update README.md 13 December 2023, 08:47:08 UTC
6e737fc Update README.md 13 December 2023, 08:46:41 UTC
b54f37f Refactoring content of problems (to be continued) 13 December 2023, 08:23:40 UTC
77525a1 README updated 12 December 2023, 10:05:39 UTC
62b5b39 README updated 12 December 2023, 09:46:13 UTC
4ae3e46 README updated 12 December 2023, 09:16:22 UTC
c8332a1 ACE 2.2 12 December 2023, 09:10:48 UTC
66911ea Merge pull request #40 from xcsp3team/choco-4.10.15 Update choco to 4.10.15-beta 11 December 2023, 16:03:36 UTC
9f21807 Update choco to 4.10.15-beta 11 December 2023, 13:32:30 UTC
3dd81c0 Slightly modifying CookieMonster 26 November 2023, 18:10:06 UTC
f36787d Towards Version 2.2 26 November 2023, 12:20:46 UTC
179566b Task a namedTuple with a default value (None for height) 05 November 2023, 11:11:41 UTC
back to top