Skip to content

Commit

Permalink
update picosat version in readme
Browse files Browse the repository at this point in the history
  • Loading branch information
ilanschnell committed Mar 25, 2017
1 parent 898e2ea commit 71d4a01
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.rst
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ This package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself. For ease of deployment, the picosat source (namely
picosat.c and picosat.h) is included in this project. These files have
been extracted from the picosat source (picosat-957.tar.gz).
been extracted from the picosat source (picosat-965.tar.gz).

Usage
-----
Expand Down

0 comments on commit 71d4a01

Please sign in to comment.