Neil Dalchau c730877080 Simplifying GitHub builds, upgrading some packages and adding documentation (#12) ... * Adding first version of the documentation, with some notes * Rename ClassicGECTests as LogicGECTests * Refactor and eventually skip a flaky test in LogicGEC. * Changing restores from dotnet to msbuild /restore * Swapping FSharp.Plotly for Plotly.NET, and unifying some other references across frameworks		2021-09-15 23:00:35 +01:00
..
Network.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
NetworkVisualization.fsproj	Simplifying GitHub builds, upgrading some packages and adding documentation (#12)	2021-09-15 23:00:35 +01:00
paket.references	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
visualization.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00