| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 26-Aug-2021 | - | ||||
| DSL/ | H | 26-Aug-2021 | - | 286 | 215 | |
| QuickCheck/ | H | 26-Aug-2021 | - | 34 | 23 | |
| Builder.hs | H A D | 19-Apr-2020 | 484 | 21 | 14 | |
| MemoryUsage.hs | H A D | 25-May-2021 | 7.7 KiB | 197 | 105 | |
| QuickCheck.hs | H A D | 25-May-2021 | 21 KiB | 554 | 420 | |
| RetryLog.hs | H A D | 19-Apr-2020 | 2.5 KiB | 73 | 55 | |
| Solver.hs | H A D | 25-May-2021 | 94 KiB | 2,058 | 1,461 | |
| WeightedPSQ.hs | H A D | 19-Apr-2020 | 2 KiB | 55 | 42 |