| Group | io.github.uuverifiers |
| 描述 | Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories. |
| 版本 | 仓库 | 发布时间 |
| 2024-03-22 | central | 2024-03-21 18:28 |
| 2024-01-12 | central | 2024-01-12 15:40 |
| 2023-06-19 | central | 2023-06-19 22:15 |
| 2023-04-07 | central | 2023-04-04 17:40 |
| 2022-11-03 | central | 2022-11-05 02:39 |
| 2022-07-01 | central | 2022-07-01 00:57 |
| 2022-03-16 | central | 2022-03-16 18:44 |
| 2021-11-15 | central | 2021-11-15 18:07 |
| 2021-08-12 | central | 2021-08-12 21:44 |
| 2021-06-28 | central | 2021-06-28 17:06 |
| 2021-05-10 | central | 2021-05-10 15:38 |
| 2021-04-09 | central | 2021-04-12 21:28 |
| 仓库 | 个数 |
| Central | 592045 |