From 2858e008d5e777f1e515ef175e1e3c272c9cecf1 Mon Sep 17 00:00:00 2001
From: gaperez64 <gaperez64@gmail.com>
Date: Sat, 10 Jan 2026 22:11:55 +0100
Subject: [PATCH] another generator, this time for the examples relevant to
 strategy improvement

---
 README.md                                                    | 5 +++++
 src/apps/{generator => generators}/dune                      | 4 ++--
 src/apps/{generator => generators}/generator.ml              | 0
 .../policyiter => apps/generators}/stratimprgen.ml           | 3 ---
 4 files changed, 7 insertions(+), 5 deletions(-)
 rename src/apps/{generator => generators}/dune (59%)
 rename src/apps/{generator => generators}/generator.ml (100%)
 rename src/{lib/generators/policyiter => apps/generators}/stratimprgen.ml (98%)

diff --git a/README.md b/README.md
index 24a10c5..904230a 100644
--- a/README.md
+++ b/README.md
@@ -59,4 +59,9 @@ the directory where you did `dune build`:
 ```
   ./_build/default/src/apps/generator/generator.exe --generator recursiveladder 4
 ```
+Generate a parity game using Friedmann's exponential lower-bound family of
+examples for strategy improvement:
+```
+  ./_build/default/src/apps/generators/stratimprgen.exe -pg friedmannsubexp [n]
+```
 
diff --git a/src/apps/generator/dune b/src/apps/generators/dune
similarity index 59%
rename from src/apps/generator/dune
rename to src/apps/generators/dune
index 950fab6..5861441 100644
--- a/src/apps/generator/dune
+++ b/src/apps/generators/dune
@@ -1,6 +1,6 @@
 (executables
- (names generator)
- (modules generator)
+ (names generator stratimprgen)
+ (modules generator stratimprgen)
  (libraries pgsolver)
  (flags (:standard -w -32))
 )
diff --git a/src/apps/generator/generator.ml b/src/apps/generators/generator.ml
similarity index 100%
rename from src/apps/generator/generator.ml
rename to src/apps/generators/generator.ml
diff --git a/src/lib/generators/policyiter/stratimprgen.ml b/src/apps/generators/stratimprgen.ml
similarity index 98%
rename from src/lib/generators/policyiter/stratimprgen.ml
rename to src/apps/generators/stratimprgen.ml
index 2e4bcc3..ea87232 100644
--- a/src/lib/generators/policyiter/stratimprgen.ml
+++ b/src/apps/generators/stratimprgen.ml
@@ -1,12 +1,9 @@
 open Arg ;;
 open Tcsargs;;
 open Tcsbasedata;;
-open Basics ;;
 open Paritygame;;
 open Mdp;;
-open Tcsstrings ;;
 open Stratimprgenerators;;
-open Stratimprgenlist;;
 
 Stratimprgenlist.register();;