HEAD | 5cdc7fb | A few minor extensions | 27 February 2022, 16:50:38 UTC |
refs/heads/cpru-4.10.8 | 86d5215 | Merge branch 'master' of https://github.com/xcsp3team/pycsp3 into cpru | 20 December 2021, 14:20:47 UTC |
refs/heads/cpru-4.10.9 | 079048a | Update choco to 4.10.9-beta | 25 January 2022, 11:05:13 UTC |
refs/heads/dataparserFSP | d494ca6 | merge with master | 25 June 2021, 07:06:31 UTC |
refs/heads/incremental | 6455816 | old print deleted | 04 May 2021, 08:07:08 UTC |
refs/heads/master | 5cdc7fb | A few minor extensions | 27 February 2022, 16:50:38 UTC |
refs/heads/smart | be42963 | 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 |
refs/tags/1.2.0 | d2d7f19 | Minor bug fixed for comments | 08 October 2020, 07:17:18 UTC |
refs/tags/1.3.0 | c62d224 | version 1.3 | 21 June 2021, 10:20:34 UTC |
refs/tags/2.0 | 590b4f7 | Constraint Precedence | 27 December 2021, 17:41:41 UTC |