Adding SMG model checker to payntbind (#43)

* Adding Smg solving to payntbind from TEMPEST * Trying to finalise model checking for Smgs in payntbind * Trying to finalise model checking for Smgs in payntbind * Testing SMG model checker * Investigating Matrix Multiplier for SMG solving * Finished payntbind implementation for game solver * Fixed build issues for payntbind; changed posg prop files to contain rPATL properties
randriu · Jul 14, 2024 · 362d4c6 · 362d4c6
1 parent 1220251
commit 362d4c6
Show file tree

Hide file tree

Showing 43 changed files with 2,475,167 additions and 459 deletions.
diff --git a/models/posg/dice-and-coin/sketch.props b/models/posg/dice-and-coin/sketch.props
@@ -1 +1 @@
-Pmax=? [F "goal"]
+<<0>> Pmax=? [F "goal"]