Neil Dalchau 1b4ed04394 Replacing Oslo DLL with code/projects (#8) ... * Replacing Oslo DLL with project in all solution files * Fixed some warnings in doc-strings for OSLO * Removed app.config for some projects, to alleviate some reference warnings		2021-09-06 08:59:39 +01:00
..
ByteEncoding.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
CRNs.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
Designs.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
Dynamical.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
Expressions.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
LinearAlgebra.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
LinearCrn.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
Nontrivial.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
Numerical.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
PythonTests.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
StabilityTests.fsproj	Replacing Oslo DLL with code/projects (#8)	2021-09-06 08:59:39 +01:00
StructureProperties.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
Test1.fs	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
all_3_3.txt	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
nontrivial_3_3.txt	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
nontrivial_4_2.dat	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
nontrivial_4_2.txt	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
paket.references	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00
result_3_3.txt	Adding StabilityZ3 back into server and CLI tools (#7)	2021-09-01 20:11:29 +01:00