it.unibo.tuprolog:repl:1.1.5

repl:1.0.2

Latest release1.1.5 (3 months ago)

Parent project2p-kt (113 stars)

Kotlin version1.9.23

LicenseApache-2.0

Build tool versionGradle 8.7

JVM

implementation("it.unibo.tuprolog:repl:1.0.2")

2P-Kt, REPL Module

Customisable, command-line interface for logic solvers

Homepage

Source code management

Maven artifacts

Version	Release	Platforms and targets
1.1.5	Release: 20 Nov 2025	JVMJS
1.1.4	Release: 22 Sep 2025	JVMJS
1.1.3	Release: 19 Sep 2025	JVMJS
1.1.2	Release: 18 Sep 2025	JVMJS
1.1.1	Release: 18 Sep 2025	JVMJS
1.1.0	Release: 18 Sep 2025	JVMJS
1.0.4	Release: 26 May 2024	JVMJS
1.0.3	Release: 10 May 2024	JVMJS
1.0.2	Release: 05 May 2024	JVMJS
1.0.1	Release: 06 Apr 2024	JVMJS
1.0.0	Release: 30 Mar 2024	JVMJS
0.32.5	Release: 24 Mar 2024	JVMJS
0.32.4	Release: 24 Mar 2024	JVMJS
0.32.3	Release: 24 Mar 2024	JVMJS
0.32.2	Release: 22 Mar 2024	JVMJS
0.32.1	Release: 09 Feb 2024	JVMJS
0.32.0	Release: 03 Jan 2024	JVMJS
0.31.21	Release: 24 Dec 2023	JVMJS
0.31.20	Release: 22 Dec 2023	JVMJS
0.31.19	Release: 09 Dec 2023	JVMJS
0.31.18	Release: 24 Oct 2023	JVMJS
0.31.17	Release: 22 Oct 2023	JVMJS
0.31.16	Release: 13 Oct 2023	JVMJS
0.31.15	Release: 15 Sep 2023	JVMJS
0.31.14	Release: 13 Sep 2023	JVMJS
0.31.13	Release: 25 Aug 2023	JVMJS
0.31.12	Release: 18 Aug 2023	JVMJS
0.31.11	Release: 19 Jul 2023	JVMJS
0.31.10	Release: 12 Jul 2023	JVMJS
0.31.9	Release: 08 Jul 2023	JVMJS
0.31.8	Release: 08 Jul 2023	JVMJS
0.31.7	Release: 07 Jul 2023	JVMJS
0.31.5-dev0m+0c07eb350	Release: 07 Jul 2023	JVMJS
0.31.5-dev0f+5a2ad7593	Release: 20 Jun 2023	JVMJS
0.31.5-dev0c+d53549ad7	Release: 20 Jun 2023	JVMJS
0.31.5-dev02+b65f8712e	Release: 03 May 2023	JVMJS
0.31.5-dev01+75e0f28ea	Release: 01 May 2023	JVMJS
0.31.5	Release: 30 Apr 2023	JVMJS
0.31.4-dev01+3caf83203	Release: 29 Apr 2023	JVMJS
0.31.4	Release: 29 Apr 2023	JVMJS
0.31.3	Release: 19 Apr 2023	JVMJS
0.31.2	Release: 18 Apr 2023	JVMJS
0.31.1-dev02+0cd8a1ae6	Release: 15 Feb 2023	JVMJS
0.31.1-dev01+f8b39929b	Release: 14 Feb 2023	JVMJS
0.31.1	Release: 14 Feb 2023	JVMJS
0.31.0	Release: 13 Feb 2023	JVMJS
0.30.5	Release: 01 Feb 2023	JVMJS
0.30.4	Release: 20 Nov 2022	JVMJS
0.30.3-dev0a+69949374d	Release: 20 Nov 2022	JVMJS
0.30.3	Release: 12 Oct 2022	JVMJS
0.30.2-dev0f+259d7b5b	Release: 12 Oct 2022	JVMJS
0.30.2-dev08+5b060658	Release: 12 Oct 2022	JVMJS
0.30.2	Release: 26 Sep 2022	JVMJS
0.30.1	Release: 26 Sep 2022	JVMJS
0.30.0-dev01+725eae35	Release: 26 Sep 2022	JVMJS
0.30.0	Release: 23 Sep 2022	JVMJS
0.20.9-dev0g+63540268	Release: 06 Jul 2022	JVMJS
0.20.9-dev0c+bc6d9512	Release: 06 Jul 2022	JVMJS
0.20.9-dev0a+8e9a240b	Release: 22 Jun 2022	JVMJS
0.20.9-dev03+3250bb16	Release: 20 Jun 2022	JVMJS
0.20.9-dev02+01edbfee	Release: 19 Jun 2022	JVMJS
0.20.9-dev01+ada92962	Release: 16 Jun 2022	JVMJS
0.20.9	Release: 14 Jun 2022	JVMJS
0.20.7	Release: 02 Jun 2022	JVMJS
0.20.4	Release: 06 Nov 2021	JVMJS
0.20.3	Release: 05 Nov 2021	JVMJS
0.20.2-dev07+51892bb0	Release: 05 Nov 2021	JVMJS
0.20.2	Release: 18 Oct 2021	JVMJS

*Only more recent versions are displayed

JVM

Version	Release	Platforms and targets
1.1.5	Release: 20 Nov 2025	JVMJS
1.1.4	Release: 22 Sep 2025	JVMJS
1.1.3	Release: 19 Sep 2025	JVMJS
1.1.2	Release: 18 Sep 2025	JVMJS
1.1.1	Release: 18 Sep 2025	JVMJS
1.1.0	Release: 18 Sep 2025	JVMJS
1.0.4	Release: 26 May 2024	JVMJS
1.0.3	Release: 10 May 2024	JVMJS
1.0.2	Release: 05 May 2024	JVMJS
1.0.1	Release: 06 Apr 2024	JVMJS
1.0.0	Release: 30 Mar 2024	JVMJS
0.32.5	Release: 24 Mar 2024	JVMJS
0.32.4	Release: 24 Mar 2024	JVMJS
0.32.3	Release: 24 Mar 2024	JVMJS
0.32.2	Release: 22 Mar 2024	JVMJS
0.32.1	Release: 09 Feb 2024	JVMJS
0.32.0	Release: 03 Jan 2024	JVMJS
0.31.21	Release: 24 Dec 2023	JVMJS
0.31.20	Release: 22 Dec 2023	JVMJS
0.31.19	Release: 09 Dec 2023	JVMJS
0.31.18	Release: 24 Oct 2023	JVMJS
0.31.17	Release: 22 Oct 2023	JVMJS
0.31.16	Release: 13 Oct 2023	JVMJS
0.31.15	Release: 15 Sep 2023	JVMJS
0.31.14	Release: 13 Sep 2023	JVMJS
0.31.13	Release: 25 Aug 2023	JVMJS
0.31.12	Release: 18 Aug 2023	JVMJS
0.31.11	Release: 19 Jul 2023	JVMJS
0.31.10	Release: 12 Jul 2023	JVMJS
0.31.9	Release: 08 Jul 2023	JVMJS
0.31.8	Release: 08 Jul 2023	JVMJS
0.31.7	Release: 07 Jul 2023	JVMJS
0.31.5-dev0m+0c07eb350	Release: 07 Jul 2023	JVMJS
0.31.5-dev0f+5a2ad7593	Release: 20 Jun 2023	JVMJS
0.31.5-dev0c+d53549ad7	Release: 20 Jun 2023	JVMJS
0.31.5-dev02+b65f8712e	Release: 03 May 2023	JVMJS
0.31.5-dev01+75e0f28ea	Release: 01 May 2023	JVMJS
0.31.5	Release: 30 Apr 2023	JVMJS
0.31.4-dev01+3caf83203	Release: 29 Apr 2023	JVMJS
0.31.4	Release: 29 Apr 2023	JVMJS
0.31.3	Release: 19 Apr 2023	JVMJS
0.31.2	Release: 18 Apr 2023	JVMJS
0.31.1-dev02+0cd8a1ae6	Release: 15 Feb 2023	JVMJS
0.31.1-dev01+f8b39929b	Release: 14 Feb 2023	JVMJS
0.31.1	Release: 14 Feb 2023	JVMJS
0.31.0	Release: 13 Feb 2023	JVMJS
0.30.5	Release: 01 Feb 2023	JVMJS
0.30.4	Release: 20 Nov 2022	JVMJS
0.30.3-dev0a+69949374d	Release: 20 Nov 2022	JVMJS
0.30.3	Release: 12 Oct 2022	JVMJS
0.30.2-dev0f+259d7b5b	Release: 12 Oct 2022	JVMJS
0.30.2-dev08+5b060658	Release: 12 Oct 2022	JVMJS
0.30.2	Release: 26 Sep 2022	JVMJS
0.30.1	Release: 26 Sep 2022	JVMJS
0.30.0-dev01+725eae35	Release: 26 Sep 2022	JVMJS
0.30.0	Release: 23 Sep 2022	JVMJS
0.20.9-dev0g+63540268	Release: 06 Jul 2022	JVMJS
0.20.9-dev0c+bc6d9512	Release: 06 Jul 2022	JVMJS
0.20.9-dev0a+8e9a240b	Release: 22 Jun 2022	JVMJS
0.20.9-dev03+3250bb16	Release: 20 Jun 2022	JVMJS
0.20.9-dev02+01edbfee	Release: 19 Jun 2022	JVMJS
0.20.9-dev01+ada92962	Release: 16 Jun 2022	JVMJS
0.20.9	Release: 14 Jun 2022	JVMJS
0.20.7	Release: 02 Jun 2022	JVMJS
0.20.4	Release: 06 Nov 2021	JVMJS
0.20.3	Release: 05 Nov 2021	JVMJS
0.20.2-dev07+51892bb0	Release: 05 Nov 2021	JVMJS
0.20.2	Release: 18 Oct 2021	JVMJS

*Only more recent versions are displayed