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
..
CrnAPI.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
DynamicalAPI.fs	Simplifying GitHub builds, upgrading some packages and adding documentation (#12)	2021-09-15 23:00:35 +01:00
GrnAPI.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
InitAPI.fsx	Simplifying GitHub builds, upgrading some packages and adding documentation (#12)	2021-09-15 23:00:35 +01:00
LinearCrnAPI.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
NotebookAPI.fsproj	Replacing Oslo DLL with code/projects (#8)	2021-09-06 08:59:39 +01:00
RDnets.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
paket.references	Simplifying GitHub builds, upgrading some packages and adding documentation (#12)	2021-09-15 23:00:35 +01:00