Bart Wolleswinkel (a311d87b) at 07 Nov 15:13
Dockerfile commit
Bart Wolleswinkel (55f6de4d) at 07 Nov 15:10
Update file README.md
Menno Looman (d9e72acc) at 12 Aug 23:34
last update hopefully
Menno Looman (6be036dc) at 10 Aug 10:36
update
Menno Looman (bfa9671a) at 02 Aug 15:22
update
Menno Looman (45ac32ae) at 14 Jun 12:59
small changes
While graph-tool is an excellent and very complete library for graph manipulation, visualization, and algorithms, it makes our installation almost impossible for Windows users. It also makes the whole installation process more cumbersome, in general. From what I remember, we no longer use many of the more advanced functionality of graph-tool, so it should be relatively easy to remove the dependency from this library whatsoever.
First step is to assess which functions of graph-tool are we using and confirming whether it is easy or not to replace it. My initial plan is to replace it with just an edge list and maybe sparse adjacency matrices. The core algorithms for optimal SDSS design are already solely using sparse matrix manipulation.
Note: graph-tool is only used in the linear-systems side of the tool.
Menno Looman (5814cee6) at 20 Apr 14:24
Think Mean Payoff Games finally works, need to be tested still
... and 1 more commit
Menno Looman (78dc87f8) at 18 Apr 11:47
update work
Menno Looman (619506c6) at 13 Apr 12:14
update, still need mean payoffgame
Menno Looman (56bd4427) at 05 Apr 16:51
need still better mean payoff game algorithm and determine the loca...
Menno Looman (d71fd2a8) at 04 Apr 16:35
fist step towards mean payoff game
Menno Looman (ace7ab15) at 31 Mar 15:03
made Bellmond-Ford Parrallel for speed
... and 3 more commits
Menno Looman (7532441d) at 21 Mar 00:12
working safetygame with plots
Menno Looman (387df771) at 20 Mar 14:18
start to sategy game
Menno Looman (0dd9a74e) at 14 Mar 09:37
fixed region calculation and added plotting options