Bump to v0.10.0

CMakeLists.txt

@@ -25,7 +25,7 @@ cmake_minimum_required(VERSION 3.10)
 
 project(
   black 
-  VERSION 0.9.2
+  VERSION 0.10.0
   LANGUAGES C CXX
   DESCRIPTION "BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)"
 )

README.md

@@ -1,4 +1,4 @@
-# BLACK [![Build Status](https://api.cirrus-ci.com/github/black-sat/black.svg)](https://cirrus-ci.com/github/black-sat/black) ![appveyor](https://ci.appveyor.com/api/projects/status/github/black-sat/black?branch=master&svg=true) ![MIT](https://img.shields.io/badge/license-MIT-brightgreen) [![Latest release](https://badgen.net/github/release/black-sat/black)](https://github.com/black-sat/black/releases/tag/v0.9.2) [![codecov](https://codecov.io/gh/black-sat/black/branch/master/graph/badge.svg?token=ZETQF5NZ6X)](https://codecov.io/gh/black-sat/black)
+# BLACK [![Build Status](https://api.cirrus-ci.com/github/black-sat/black.svg)](https://cirrus-ci.com/github/black-sat/black) ![appveyor](https://ci.appveyor.com/api/projects/status/github/black-sat/black?branch=master&svg=true) ![MIT](https://img.shields.io/badge/license-MIT-brightgreen) [![Latest release](https://badgen.net/github/release/black-sat/black)](https://github.com/black-sat/black/releases/tag/v0.10.0) [![codecov](https://codecov.io/gh/black-sat/black/branch/master/graph/badge.svg?token=ZETQF5NZ6X)](https://codecov.io/gh/black-sat/black)
 
 BLACK (short for Bounded Lᴛʟ sAtisfiability ChecKer) is a tool for testing the
 satisfiability of formulas in Linear Temporal Logic and related logics.
@@ -7,7 +7,7 @@ BLACK is:
 * **Fast**: based on a state-of-the-art SAT-based encoding 
 * **Lightweight**: low memory consuption even for large formulas
 * **Flexible**: supports LTL and LTL+Past, LTLf both on infinite and finite models, and LTLf Modulo Theories
-* **Robust**: rock-solid stability with 100% test coverage
+* **Robust**: rock-solid stability with almost 100% test coverage
 * **Multiplatform**: works on Linux, macOS, Windows and FreeBSD
 * **Easy to use**: easy to install binary packages provided for all major platforms
 * **Embeddable**: use BLACK's library API to integrate BLACK's solver into your code
@@ -24,7 +24,7 @@ See the [Documentation page][Doc] for further information on BLACK's installatio
 
 | Ubuntu ≥ 22.04             | Fedora 36 |
 |----------------------------|------------------------------|
-| [![Download](https://badgen.net/badge/Download%20v0.9.2/.deb/green)][pkg.deb] | [![Download](https://badgen.net/badge/Download%20v0.9.2/.rpm/green)][pkg.rpm]   |
+| [![Download](https://badgen.net/badge/Download%20v0.10.0/.deb/green)][pkg.deb] | [![Download](https://badgen.net/badge/Download%20v0.10.0/.rpm/green)][pkg.rpm]   |
 | `sudo apt install ⟨file⟩` | `sudo dnf install ⟨file⟩` |
 
 
@@ -40,10 +40,10 @@ $ brew install black-sat/black/black-sat
 
 Download the self-contained ZIP archive.
 
-[![Download](https://badgen.net/badge/Download%20v0.9.2/.zip/green)][pkg.win]
+[![Download](https://badgen.net/badge/Download%20v0.10.0/.zip/green)][pkg.win]
 
 [Doc]: https://www.black-sat.org
 [brew]: https://brew.sh
-[pkg.deb]: https://github.com/black-sat/black/releases/download/v0.9.2/black-sat-0.9.2-1.x86_64.deb
-[pkg.rpm]: https://github.com/black-sat/black/releases/download/v0.9.2/black-sat-0.9.2-1.x86_64.rpm
-[pkg.win]: https://github.com/black-sat/black/releases/download/v0.9.2/black-0.9.2-win-x64.zip
+[pkg.deb]: https://github.com/black-sat/black/releases/download/v0.10.0/black-sat-0.10.0-1.x86_64.deb
+[pkg.rpm]: https://github.com/black-sat/black/releases/download/v0.10.0/black-sat-0.10.0-1.x86_64.rpm
+[pkg.win]: https://github.com/black-sat/black/releases/download/v0.10.0/black-0.10.0-win-x64.zip

docs/website/cli.rst

@@ -137,7 +137,7 @@ with the ``--sat-backends`` option::
    $ black --sat-backends
 
    BLACK - Bounded Lᴛʟ sAtisfiability ChecKer
-        version 0.9.2
+        version 0.10.0
 
    Available SAT backends:
    - z3 *

docs/website/installation/linux.rst

@@ -26,10 +26,10 @@ the packages should work but do not, please open a GitHub `issue
 <https://github.com/black-sat/black/issues>`_.
 
 
-.. |UbuntuBadge| image:: https://badgen.net/badge/Download%20v0.9.2/.deb/green
-.. _UbuntuBadge: https://github.com/black-sat/black/releases/download/v0.9.2/black-sat-0.9.2-1.x86_64.deb
-.. |FedoraBadge| image:: https://badgen.net/badge/Download%20v0.9.2/.rpm/green
-.. _FedoraBadge: https://github.com/black-sat/black/releases/download/v0.9.2/black-sat-0.9.2-1.x86_64.rpm
+.. |UbuntuBadge| image:: https://badgen.net/badge/Download%20v0.10.0/.deb/green
+.. _UbuntuBadge: https://github.com/black-sat/black/releases/download/v0.10.0/black-sat-0.10.0-1.x86_64.deb
+.. |FedoraBadge| image:: https://badgen.net/badge/Download%20v0.10.0/.rpm/green
+.. _FedoraBadge: https://github.com/black-sat/black/releases/download/v0.10.0/black-sat-0.10.0-1.x86_64.rpm
 
 Compilation from source
 ------------------------

docs/website/installation/windows.rst

@@ -13,8 +13,8 @@ is self-contained.
 
    * - |WindowsBadge|_
 
-.. |WindowsBadge| image:: https://badgen.net/badge/Download%20v0.9.2/.zip/green
-.. _WindowsBadge: https://github.com/black-sat/black/releases/download/v0.9.2/black-0.9.2-win-x64.zip
+.. |WindowsBadge| image:: https://badgen.net/badge/Download%20v0.10.0/.zip/green
+.. _WindowsBadge: https://github.com/black-sat/black/releases/download/v0.10.0/black-0.10.0-win-x64.zip
 
 
 The binary package includes the Z3 backend. To use other backends, BLACK needs