Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
xcsp3team authored Aug 28, 2024
1 parent 6b8cc67 commit 4fc0c03
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
<div id="logo" align="center">
<img width="25%" src="logo.gif" alt="logo"/>
<img width="25%" src="https://www.cril.univ-artois.fr/~lecoutre/logoPyCSP3.gif" alt="logo"/>
</div>

<br />
<h2> PyCSP3 v2.3 <sub><sup>(March 27, 2024)</sup></sub> </h2>
<h2> PyCSP3 v2.4 <sub><sup>(August 28, 2024)</sup></sub> </h2>

<!-- PyCSP3 is inspired from both [JvCSP3](https://github.com/xcsp3team/XCSP3-Java-Tools/blob/master/doc/JvCSP3v1-1.pdf) (a Java-based API) and [Numberjack](https://github.com/eomahony/Numberjack). -->

This is Version 2.3 of PyCSP3, a library in Python (version 3.10 or later) for modeling combinatorial constrained problems;
This is Version 2.4 of PyCSP3, a library in Python (version 3.10 or later) for modeling combinatorial constrained problems;
see [www.pycsp.org](https://pycsp.org). With PyCSP3, it is possible to generate instances of:

1. CSP (Constraint Satisfaction Problem)
Expand Down

0 comments on commit 4fc0c03

Please sign in to comment.