| 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:46 |
| 2024-01-12 | central | 2024-01-12 15:49 |
| 2023-06-19 | central | 2023-06-19 22:24 |
| 2023-04-07 | central | 2023-04-04 18:09 |
| 2022-11-03 | central | 2022-11-05 02:49 |
| 2022-07-01 | central | 2022-07-01 17:47 |
| 2022-03-16 | central | 2022-03-16 19:09 |
| 2021-11-15 | central | 2021-11-15 18:41 |
| 2021-08-12 | central | 2021-08-13 00:08 |
| 2021-06-28 | central | 2021-06-28 17:09 |
| 2021-05-10 | central | 2021-05-10 15:45 |
| 2021-04-09 | central | 2021-04-12 21:39 |
| 仓库 | 个数 |
| Central | 592045 |