AutomataLib 0.12.0 release

Author: mtf90

_includes/sidebar/automatalib.html

@@ -15,6 +15,10 @@ <h2 class="widget-title">AutomataLib</h2>
                 </tr>
                 </thead>
                 <tbody>
+                <tr>
+                    <td><span class="badge bg-secondary align-text-top">0.12.0</span> Feb 4, 2025</td>
+                    <td><a href="http://learnlib.github.io/automatalib/maven-site/0.12.0/">API</a></td>
+                </tr>
                 <tr>
                     <td><span class="badge bg-secondary align-text-top">0.11.0</span> Nov 6, 2023</td>
                     <td><a href="http://learnlib.github.io/automatalib/maven-site/0.11.0/">API</a></td>
@@ -23,14 +27,9 @@ <h2 class="widget-title">AutomataLib</h2>
                     <td><span class="badge bg-secondary align-text-top">0.10.0</span> Oct 11, 2020</td>
                     <td><a href="http://learnlib.github.io/automatalib/maven-site/0.10.0/">API</a></td>
                 </tr>
-                <tr>
-                    <td><span class="badge bg-secondary align-text-top">0.9.0</span> Feb 5, 2020</td>
-                    <td><a href="http://learnlib.github.io/automatalib/maven-site/0.9.0/">API</a></td>
-                </tr>
                 </tbody>
             </table>
-            <em>Also take a look at the <a href="{% link pages/version-history.md %}">version history</a> for additional
-                resources on different AutomataLib versions.</em>
+            <em>Also take a look at the <a href="{% link pages/version-history.md %}">version history</a> for additional resources on different AutomataLib versions.</em>
             <br>
             <strong>Related links</strong>
             <ul>

pages/automatalib.md

@@ -16,7 +16,7 @@ Models of AutomataLib can be (de-)serialized (from) to one of the various suppor
 Furthermore, a plethora of graph-/automata-based algorithms is implemented, covering the following topics:
 
 - graph theory (traversal, shortest paths, strongly-connected components)
-- automata theory (equivalence, minimization)
+- automata theory (bisimulation, equivalence, minimization)
 - model checking (adaptive distinguishing sequences, (partial) W-method, characterizing sets, state/transition covers, LTL checking (via [LTSmin](https://ltsmin.utwente.nl/) and M3C)
 
 ## Usage
@@ -29,15 +29,15 @@ In order to start using the latest, stable release of AutomataLib in your **Mave
   <dependency>
     <groupId>net.automatalib.distribution</groupId>
     <artifactId>automata-distribution</artifactId>
-    <version>0.11.0</version>
+    <version>0.12.0</version>
     <type>pom</type>
   </dependency>
 </dependencies>
 ```
 
-_Note: This dependency will add all components of AutomataLib to your project. If you only need a subset, have a look at the [List of AutomataLib Artifacts](https://github.com/LearnLib/automatalib/wiki/List-of-AutomataLib-Artifacts) to get an overview of the individual modules available on **[Maven Central](http://mvnrepository.com/artifact/net.automatalib)**._
+_Note: This dependency will add all components of AutomataLib to your project. If you only need a subset, have a look at AutomataLib's [modules](https://learnlib.github.io/automatalib/maven-site/latest/apidocs/) which correspond to the individual artifacts available on **[Maven Central](http://mvnrepository.com/artifact/net.automatalib)**._
 
-If you are not using any build management, you can also [download the binaries](http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22net.automatalib.distribution%22) of the AutomataLib, with and without its dependencies.
+If you are not using any build management, you can also [download the binaries](http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22net.automatalib.distribution%22) of AutomataLib, with and without its dependencies.
 
 [Examples](https://github.com/LearnLib/automatalib/tree/develop/examples/src/main/java/net/automatalib/example){: .btn .btn-sm .btn-outline-primary}
 [Wiki](https://github.com/LearnLib/automatalib/wiki){: .btn .btn-sm .btn-outline-primary}