История

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
..
CRNs	Replacing Oslo DLL with code/projects (#8 )	2021-09-06 08:59:39 +01:00
GRNs	Replacing Oslo DLL with code/projects (#8 )	2021-09-06 08:59:39 +01:00
NetworkVisualization	Simplifying GitHub builds, upgrading some packages and adding documentation (#12 )	2021-09-15 23:00:35 +01:00
NotebookAPI	Simplifying GitHub builds, upgrading some packages and adding documentation (#12 )	2021-09-15 23:00:35 +01:00
StabilityZ3	Replacing Oslo DLL with code/projects (#8 )	2021-09-06 08:59:39 +01:00
StabilityZ3Cli	Replacing Oslo DLL with code/projects (#8 )	2021-09-06 08:59:39 +01:00
Tests	Replacing Oslo DLL with code/projects (#8 )	2021-09-06 08:59:39 +01:00
README.md	Adding StabilityZ3 back into server and CLI tools (#7 )	2021-09-01 20:11:29 +01:00
StabilityZ3.sln	Simplifying GitHub builds, upgrading some packages and adding documentation (#12 )	2021-09-15 23:00:35 +01:00

Stability-Z3

In this folder are techniques for analysing stability properties of dynamical systems, using the SMT solver Z3.