Difference between revisions of "Download PlayGo"

Revision as of 07:46, 21 September 2020

See the Getting Started with PlayGo to start playing with PlayGo.

See the Getting Started with PlayGo to start playing with PlayGo.

PlayGo source code of version 4.0 is available for download here.

@@ Line 1: / Line 1: @@
-PlayGo download contains the PlayGo tool as well as a workspace with examples (total size is ~600MB).
+== PlayGo for Windows ==
-[http://www.wisdom.weizmann.ac.il/~playgo/downloads/PlayGo.zip Download PlayGo]
+=== Version 5.0 ===
+[https://drive.google.com/file/d/1bd9OIj2au6Oepg-sznuiiqeJn4OaafAs/view?usp=sharing PlayGo version 5.0 for Windows (jre included)]
+=== Version 4.0 ===
+[https://weizmann.box.com/s/o22m6zd0bvpp7ghkfwjn2oh3zdh3pwjd PlayGo version 4.0 for Windows (jre included)]
+[https://weizmann.box.com/s/0lb70tpkjwzwj4ulyb6et7pgipy00zsn PlayGo version 4.0 for Windows (no jre) ]
+[https://weizmann.box.com/s/hgjufxvyhnewpv2cr99x2dnn1mk3jdqc PlayGo version 4.0 for Windows 32-bit (no jre)]
 See the [[Getting Started with PlayGo]] to start playing with PlayGo.
-[[Media:PlayGo.zip]]
+== PlayGo for Linux ==
+=== Version 4.0 ===
+[https://weizmann.box.com/s/fce9sr9uki848564fqe9jx5dukhrmt0i PlayGo version 4.0 for linux (jre included)]
+[https://weizmann.box.com/s/yb63vltoyd14ytkx8z5hhiq1bbaeqymo PlayGo version 4.0 for linux (no jre)]
+See the [[Getting Started with PlayGo]] to start playing with PlayGo.
+PlayGo source code of version 4.0 is available for download [https://weizmann.box.com/s/878rj4ky80ax9sffjiftwuvjnswde5rk here].