You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+4-8Lines changed: 4 additions & 8 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,19 +1,18 @@
1
-
<h1align="center"> XCSP3-Java-Tools v2.1 </h1>
1
+
<h1align="center"> XCSP3-Java-Tools v2.2 </h1>
2
2
3
3
4
-
**IMPORTANT: For the 2022 XSCP3 Competition, you can use Version 2.0.1 (available on Maven Central)**
5
4
6
5
This library provides:
7
6
* a parser written in Java 8 for XCSP3 instances ; see [miniguide](doc/parserJava1-2.pdf)
8
7
* a tool for checking solutions (and bounds) of XCSP3 instances ; see [miniguide](doc/checkerJava1-1.pdf)
9
-
* JvCSP3, an API to build models of combinatorial constrained problems; these models can be compiled in order to generate XCSP3 instances (files) ; see [miniguide](doc/JvCSP3v1-1.pdf)
10
8
11
9
A C++ parser is available in its own [repository](https://github.com/xcsp3team/XCSP3-CPP-Parser).
12
10
13
11
A Python library for modeling, called PyCSP3, is also independently available.
14
12
For the current version, v2.1, November 2022, note that:
13
+
* a website including more than 60 Jupyter notebooks can be found at [pycsp.org](https://pycsp.org).
15
14
* the code is available on [Github](https://github.com/xcsp3team/pycsp3)
16
-
* a [well-documented guide](https://github.com/xcsp3team/pycsp3/blob/master/guidePyCSP3.pdf) is available
15
+
* a [well-documented guide](https://arxiv.org/abs/2009.00326) is available
17
16
* PyCSP3 is available as a PyPi package [here](https://pypi.org/project/pycsp3/)
18
17
19
18
@@ -31,9 +30,6 @@ See the miniguide in file [`parserJava1-2.pdf`](doc/parserJava1-2.pdf).
31
30
32
31
See the miniguide in file [`checkerJava1-1.pdf`](doc/checkerJava1-1.pdf).
33
32
34
-
## Java-based Modeler (Java-based API called JvCSP3)
35
-
36
-
See the miniguide in file [`JvCSP3v1-1.pdf`](doc/JvCSP3v1-1.pdf).
0 commit comments