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