2P-Kt -- Module `Bdd` bdd-jvm

Group	it.unibo.tuprolog
描述	Multi-platform library for representing and manipulating Binary Decision Diagrams

版本	仓库	发布时间
1.0.4	central	2024-05-27 00:33
1.0.3	central	2024-05-10 20:06
1.0.2	central	2024-05-05 14:32
1.0.1	central	2024-04-07 04:16
1.0.0	central	2024-03-30 23:44
0.32.5	central	2024-03-24 22:49
0.32.4	central	2024-03-24 15:40
0.32.3	central	2024-03-24 10:32
0.32.2	central	2024-03-23 01:19
0.32.1	central	2024-02-09 12:33
0.32.0	central	2024-01-03 19:56
0.31.21	central	2023-12-24 18:02
0.31.20	central	2023-12-23 00:00
0.31.19	central	2023-12-09 16:21
0.31.18	central	2023-10-24 21:57
0.31.17	central	2023-10-23 01:32
0.31.16	central	2023-10-13 12:17
0.31.15	central	2023-09-15 18:03
0.31.14	central	2023-09-13 20:01
0.31.13	central	2023-08-25 17:23
0.31.12	central	2023-08-19 04:31
0.31.11	central	2023-07-19 10:18
0.31.10	central	2023-07-13 06:26
0.31.9	central	2023-07-08 18:50
0.31.8	central	2023-07-08 13:46
0.31.7	central	2023-07-08 03:25
0.31.5-dev0m+0c07eb350	central	2023-07-07 16:27
0.31.5-dev0f+5a2ad7593	central	2023-06-20 16:29
0.31.5-dev0c+d53549ad7	central	2023-06-20 09:38
0.31.5-dev02+b65f8712e	central	2023-05-04 05:04
0.31.5-dev01+75e0f28ea	central	2023-05-01 23:16
0.31.5	central	2023-04-30 08:18
0.31.4-dev01+3caf83203	central	2023-04-30 06:10
0.31.4	central	2023-04-30 00:19
0.31.3	central	2023-04-19 19:28
0.31.2	central	2023-04-19 01:17
0.31.1-dev02+0cd8a1ae6	central	2023-02-15 11:37
0.31.1-dev01+f8b39929b	central	2023-02-15 05:52
0.31.1	central	2023-02-15 03:37
0.31.0	central	2023-02-13 16:14
0.30.5	central	2023-02-01 18:41
0.30.4	central	2022-11-21 03:12
0.30.3-dev0a+69949374d	central	2022-11-20 15:37
0.30.3	central	2022-10-13 05:33
0.30.2-dev0f+259d7b5b	central	2022-10-13 04:35
0.30.2-dev08+5b060658	central	2022-10-12 22:20
0.30.2	central	2022-09-26 23:21
0.30.1	central	2022-09-26 16:11
0.30.0-dev01+725eae35	central	2022-09-26 11:55
0.30.0	central	2022-09-23 16:27
0.20.9-dev0g+63540268	central	2022-07-07 00:10
0.20.9-dev0c+bc6d9512	central	2022-07-06 19:46
0.20.9-dev0a+8e9a240b	central	2022-06-23 00:46
0.20.9-dev03+3250bb16	central	2022-06-21 01:24
0.20.9-dev02+01edbfee	central	2022-06-20 07:27
0.20.9-dev01+ada92962	central	2022-06-17 01:01
0.20.9	central	2022-06-15 01:26
0.20.7	central	2022-06-02 23:35
0.20.4	central	2021-11-06 20:26
0.20.3	central	2021-11-06 01:53
0.20.2-dev07+51892bb0	central	2021-11-05 23:18
0.20.2	central	2021-10-18 17:32
0.20.1	central	2021-09-06 23:53
0.20.0	central	2021-08-30 15:28
0.19.0-dev2h+f6956cce	central	2021-08-28 02:23