Parser for a subset of Prolog term syntax, used to read answers from the ProB Prolog core (probcli) in socket-server mode. For internal use only by the ProB Java API and the ProB plugin for Rodin!
| Version ▼ | Vulnerabilities | Repository | Usages | Date | |
|---|---|---|---|---|---|
2.16.x | 2.16.1 | Central | Aug 26, 2026 | ||
| 2.16.0 | Central | Jul 17, 2026 | |||
2.15.x | 2.15.4 | Central | Dec 18, 2025 | ||
| 2.15.3 | Central |
0
| Sep 18, 2025 | ||
| 2.15.2 | Central | Jun 06, 2025 | |||
| 2.15.1 | Central |
0
| Jun 05, 2025 | ||
| 2.15.0 | Central |
0
| Feb 28, 2025 | ||
2.13.x | 2.13.5 | Central |
0
| Nov 08, 2024 | |
| 2.13.4 | Central |
0
| Aug 17, 2024 | ||
| 2.13.3 | Central |
0
| Jul 04, 2024 | ||
| 2.13.2 | Central |
0
| Apr 11, 2024 | ||
| 2.13.1 | Central | Mar 25, 2024 | |||
| 2.13.0 | Central | Feb 19, 2024 | |||
2.12.x | 2.12.7 | Central | Aug 11, 2023 | ||
| 2.12.6 | Central |
0
| Aug 08, 2023 | ||
| 2.12.5 | Central |
0
| Jul 10, 2023 | ||
| 2.12.4 | Central | Apr 28, 2023 | |||
| 2.12.3 | Central | Mar 24, 2023 | |||
| 2.12.2 | Central |
0
| Oct 18, 2022 | ||
| 2.12.1 | Central |
0
| Sep 28, 2022 | ||
| 2.12.0 | Central |
0
| Apr 05, 2022 | ||
2.9.x | 2.9.32 | Central | Dec 28, 2021 | ||
| 2.9.31 | Central |
0
| Dec 03, 2021 | ||
| 2.9.30 | Central |
0
| Nov 09, 2021 | ||
| 2.9.29 | Central |
0
| Oct 04, 2021 | ||
| 2.9.28 | Central |
0
| Aug 13, 2021 | ||
| 2.9.27 | Central | Nov 25, 2020 | |||
| 2.9.26 | Central |
0
| Aug 21, 2020 | ||
| 2.9.25 | Central | May 05, 2020 | |||
| 2.9.24 | Central |
0
| May 05, 2020 | ||
| 2.9.23 | Central | Nov 07, 2019 | |||
| 2.9.22 | Central | Jul 10, 2019 | |||
| 2.9.21 | Central | Apr 26, 2019 | |||
| 2.9.20 | Central | Mar 06, 2019 | |||
| 2.9.19 | Central |
0
| Mar 05, 2019 | ||
| 2.9.18 | Central | Mar 05, 2019 | |||
| 2.9.17 | Central | Jan 17, 2019 | |||
| 2.9.14 | Central | Nov 05, 2018 | |||
| 2.9.13 | Central | Sep 27, 2018 | |||
| 2.9.12 | Central | Jul 18, 2018 | |||
| 2.9.11 | Central | Mar 15, 2018 | |||
| 2.9.10 | Central | Mar 05, 2018 | |||
| 2.9.9 | Central | Oct 06, 2017 | |||
| 2.9.8 | Central | Sep 25, 2017 | |||
| 2.9.7 | Central | Aug 28, 2017 | |||
| 2.9.6 | Central | Jul 10, 2017 | |||
| 2.9.5 | Central | Jul 06, 2017 | |||
| 2.9.4 | Central | May 11, 2017 | |||
| 2.9.3 | Central | Apr 25, 2017 | |||
| 2.9.2 | Central | Apr 10, 2017 | |||
| 2.9.1 | Central | Mar 22, 2017 | |||
| 2.9.0 | Central | Mar 07, 2017 | |||
2.8.x | 2.8.0 | Central | Dec 16, 2016 | ||
2.7.x | 2.7.0 | Central | Nov 07, 2016 | ||
2.6.x | 2.6.3 | Central | Oct 20, 2016 | ||
| 2.6.2 | Central | Jun 17, 2016 | |||
| 2.6.1 | Central | Jun 16, 2016 | |||
| 2.6.0 | Central | Jun 16, 2016 | |||
2.5.x | 2.5.6 | Central | Jun 09, 2016 | ||
| 2.5.4 | Central | Apr 25, 2016 | |||
| 2.5.3 | Central | Apr 21, 2016 | |||
| 2.5.2 | Central | Apr 21, 2016 | |||
| 2.5.1 | Central | Feb 01, 2016 | |||
| 2.5.0 | Central | Nov 26, 2015 | |||
2.4.x | 2.4.40 | Central | Aug 02, 2015 |