Expose pgsolver implementation through command line flag
This adds the new command line flag --gameSolver with values "cool" and "pgsolver" to switch between different game solving implementations.
Showing
- src/coalg/coalg.ml 25 additions, 4 deletionssrc/coalg/coalg.ml
- src/coalgcompare/coalgcompare.ml 1 addition, 1 deletionsrc/coalgcompare/coalgcompare.ml
- src/debugger/debugger.ml 1 addition, 1 deletionsrc/debugger/debugger.ml
- src/lib/CoAlgReasoner.ml 25 additions, 14 deletionssrc/lib/CoAlgReasoner.ml
- src/lib/CoAlgReasoner.mli 6 additions, 4 deletionssrc/lib/CoAlgReasoner.mli
- src/lib/CoolGraph.ml 38 additions, 31 deletionssrc/lib/CoolGraph.ml
- src/lib/CoolGraph.mli 7 additions, 1 deletionsrc/lib/CoolGraph.mli
- src/owl/cool-owl.ml 1 addition, 1 deletionsrc/owl/cool-owl.ml
- src/testsuite/Testsuite.ml 1 addition, 1 deletionsrc/testsuite/Testsuite.ml
Loading
Please register or sign in to comment