| 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:24 |
| 2024-01-12 | central | 2024-01-12 15:33 |
| 2023-06-19 | central | 2023-06-19 22:14 |
| 2023-04-07 | central | 2023-04-04 17:38 |
| 2022-11-03 | central | 2022-11-05 02:35 |
| 2022-07-01 | central | 2022-07-01 00:54 |
| 2022-03-16 | central | 2022-03-16 18:43 |
| 2021-11-15 | central | 2021-11-15 18:02 |
| 2021-08-12 | central | 2021-08-12 21:40 |
| 2021-06-28 | central | 2021-06-28 17:02 |
| 2021-05-10 | central | 2021-05-10 15:37 |
| 2021-04-09 | central | 2021-04-12 21:26 |
| 仓库 | 个数 |
| Central | 592045 |