Update zenodo link

README.md

@@ -3,7 +3,7 @@
 This is a small Rust library focusing on logical model inference through Boolean network sketches. 
 It contains the high-level implementation of the framework, as well as benchmark models and data used for experiments and case studies. 
 This readme describes the repository contents and also contains instructions on how to replicate the main experimental results of the paper.
-The whole repository is available at [github](https://github.com/sybila/boolean-network-sketches), as well as at [zenodo](https://doi.org/10.5281/zenodo.7490408).
+The whole repository is available at [github](https://github.com/sybila/boolean-network-sketches), as well as at [zenodo](https://doi.org/10.5281/zenodo.7688740).
 
 
 ## Requirements and Dependencies
@@ -130,7 +130,7 @@ You do not need to add any options to replicate the experimental results, but if
 
 ## Availability
 
-This repository is available on [Github](https://github.com/sybila/boolean-network-sketches) and also at [zenodo](https://doi.org/10.5281/zenodo.7490408).
+This repository is available on [Github](https://github.com/sybila/boolean-network-sketches) and also at [zenodo](https://doi.org/10.5281/zenodo.7688740).
 
 The implementation is based mainly on two of our Rust libraries: 
 - [biodivine-hctl-model-checker](https://github.com/sybila/biodivine-hctl-model-checker) for the underlying symbolic coloured model checking
@@ -144,4 +144,4 @@ To visualize and modify the partially specified BN models (aeon files) included
 
 
 ## Tests 
-To run the set of tests, use `cargo test` command.
+To run the set of tests, use `cargo test` command.