another generator, this time for the examples relevant to strategy improvement

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]
+```
 

src/apps/generator/dune → 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))
 )

src/lib/generators/policyiter/stratimprgen.ml → 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();;