| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 20-Jan-2021 | - | ||||
| Properties/ | H | 20-Jan-2021 | - | 37 | 15 | |
| App.config | H A D | 20-Jan-2021 | 3.5 KiB | 61 | 59 | |
| ServiceTests.cs | H A D | 20-Jan-2021 | 2.6 KiB | 93 | 66 | |
| SolverFoundation.Plugin.Z3.Tests.csproj | H A D | 20-Jan-2021 | 3.1 KiB | 70 | 63 | |
| SolverTests.cs | H A D | 20-Jan-2021 | 4.2 KiB | 139 | 95 |