Update versio

Author: msoos

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "pycryptosat"
-version = "5.12.1"
+version = "5.13.0"
 description = "Bindings to CryptoMiniSat, an advanced SAT solver"
 keywords = ["sat", "cryptography"]
 license = { file = "LICENSE.txt" }