4 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	8ec945f3ac	* doc/org/tut40.org: Finish a sentence.	2022-01-14 15:52:52 +01:00
Alexandre Duret-Lutz	7bc2c31043	game: teach solve_game to use solve_safety_game ... * spot/twaalgos/game.cc, spot/twaalgos/game.hh: Here. * doc/org/tut40.org: Adjust example.	2021-10-07 09:25:01 +02:00
Alexandre Duret-Lutz	88d0d2e112	org: cleanup tut40 ... * doc/org/tut40.org: Add more explanations and some cleanup. * python/spot/__init__.py (set_state_players, get_state_winners, get_state_players, set_state_player, get_state_winner, get_state_player, get_strategy): Add these methods to the twa_graph class for convenience. * NEWS, doc/org/tut.org: Mention tut40.org.	2021-10-01 08:48:11 +02:00
Jerome Dubois	211e7d90d3	org: Add a pratical example for games ... * doc/org/tut40.org: Add a documentation on how to use games in a pratical case. In this example, we compute simulation using games. Fixes #445. * doc/Makefile.am: Add tut40.org.	2021-10-01 08:47:28 +02:00