| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| AST/ | H | 03-May-2022 | - | 3,924 | 2,876 | |
| AbsRefineCounterExample/ | H | 03-May-2022 | - | 2,418 | 1,701 | |
| Globals/ | H | 03-May-2022 | - | 53 | 13 | |
| Interface/ | H | 03-May-2022 | - | 2,827 | 2,167 | |
| Parser/ | H | 03-May-2022 | - | 4,535 | 3,679 | |
| Printer/ | H | 03-May-2022 | - | 2,499 | 1,758 | |
| STPManager/ | H | 03-May-2022 | - | 1,296 | 910 | |
| Sat/ | H | 03-May-2022 | - | 590 | 369 | |
| Simplifier/ | H | 03-May-2022 | - | 14,906 | 10,980 | |
| ToSat/ | H | 03-May-2022 | - | 5,599 | 4,128 | |
| Util/ | H | 03-May-2022 | - | 226 | 169 | |
| extlib-abc/ | H | 03-May-2022 | - | 40,873 | 28,226 | |
| extlib-constbv/ | H | 03-May-2022 | - | 3,897 | 3,318 |