Skip to content

Commit

Permalink
fixed year
Browse files Browse the repository at this point in the history
  • Loading branch information
Armin Biere committed Sep 10, 2024
1 parent 30ffab6 commit faa674e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ Run `./configure && make test` to configure, build and test in `build`.

Binaries are provided with each major [release](https://github.com/arminbiere/kissat/releases/).

You can get more information about Kissat in the last solver description for the SAT Competition 2022:
You can get more information about Kissat in the last solver description for the SAT Competition 2024:

<p>
<a href="https://cca.informatik.uni-freiburg.de/biere/index.html#publications">Armin Biere</a>,
Expand Down

0 comments on commit faa674e

Please sign in to comment.