piwheels

isla-solver

The ISLa Input Specification Language and its solver.

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install isla-solver

Dependencies

• returns
• datrie
• z3-solver
• grammar-to-regex
• antlr4-python3-runtime
• pathos
• grammar-graph
• ijson
• wheel
• proxyorderedset
• packaging
• toml

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
1.14.4	2024-01-12
isla_solver-1.14.4-py3-none-any.whl (237 KB)
1.14.3	2024-01-09
isla_solver-1.14.3-py3-none-any.whl (237 KB)
1.14.2	2023-11-01
isla_solver-1.14.2-py3-none-any.whl (234 KB)
1.14.1	2023-07-10
isla_solver-1.14.1-py3-none-any.whl (233 KB)
1.14.0	2023-07-05
isla_solver-1.14.0-py3-none-any.whl (232 KB)
1.13.9	2023-04-27
isla_solver-1.13.9-py3-none-any.whl (228 KB)
1.13.8	2023-04-27
isla_solver-1.13.8-py3-none-any.whl (228 KB)
1.13.7	2023-04-26
isla_solver-1.13.7-py3-none-any.whl (227 KB)
1.13.6	2023-04-26
isla_solver-1.13.6-py3-none-any.whl (227 KB)
1.13.5	2023-04-26
isla_solver-1.13.5-py3-none-any.whl (227 KB)
1.13.4	2023-04-26
isla_solver-1.13.4-py3-none-any.whl (225 KB)
1.13.3	2023-04-17
isla_solver-1.13.3-py3-none-any.whl (226 KB)
1.13.2	2023-04-17
isla_solver-1.13.2-py3-none-any.whl (226 KB)
1.13.1	2023-04-06
isla_solver-1.13.1-py3-none-any.whl (226 KB)
1.13.0	2023-04-06
isla_solver-1.13.0-py3-none-any.whl (226 KB)
1.12.1	2023-04-26
isla_solver-1.12.1-py3-none-any.whl (225 KB)
1.12.0	2023-04-06
isla_solver-1.12.0-py3-none-any.whl (225 KB)
1.11.2	2023-04-04
isla_solver-1.11.2-py3-none-any.whl (225 KB)
1.11.1	2023-03-24
isla_solver-1.11.1-py3-none-any.whl (224 KB)
1.11.0	2023-03-22
isla_solver-1.11.0-py3-none-any.whl (220 KB)
1.10.4	2023-03-15
isla_solver-1.10.4-py3-none-any.whl (220 KB)
1.10.3	2023-03-09
isla_solver-1.10.3-py3-none-any.whl (220 KB)
1.10.2	2023-03-09
isla_solver-1.10.2-py3-none-any.whl (219 KB)
1.10.1	2023-02-20
isla_solver-1.10.1-py3-none-any.whl (219 KB)
1.10.0	2023-01-05
isla_solver-1.10.0-py3-none-any.whl (195 KB)
1.9.9	2022-12-22
isla_solver-1.9.9-py3-none-any.whl (194 KB)
1.9.8	2022-12-20
isla_solver-1.9.8-py3-none-any.whl (193 KB)
1.9.6	2022-12-15
isla_solver-1.9.6-py3-none-any.whl (193 KB)
1.9.5	2022-11-21
isla_solver-1.9.5-py3-none-any.whl (193 KB)
1.9.4	2022-11-13
isla_solver-1.9.4-py3-none-any.whl (193 KB)
1.9.3	2022-11-10
isla_solver-1.9.3-py3-none-any.whl (193 KB)
1.9.2	2022-11-10
isla_solver-1.9.2-py3-none-any.whl (193 KB)
1.9.1	2022-11-08
1.9.0	2022-11-08
isla_solver-1.9.0-py3-none-any.whl (193 KB)
1.8.0	2022-10-31
isla_solver-1.8.0-py3-none-any.whl (191 KB)
1.7.3	2022-10-13
isla_solver-1.7.3-py3-none-any.whl (190 KB)
1.7.2	2022-10-13
isla_solver-1.7.2-py3-none-any.whl (191 KB)
1.7.1	2022-10-13
isla_solver-1.7.1-py3-none-any.whl (191 KB)
1.7.0	2022-10-13
isla_solver-1.7.0-py3-none-any.whl (191 KB)
1.6.0	2022-10-12
isla_solver-1.6.0-py3-none-any.whl (190 KB)
1.5.0	2022-10-12
isla_solver-1.5.0-py3-none-any.whl (190 KB)
1.4.1	2022-10-06
isla_solver-1.4.1-py3-none-any.whl (187 KB)
1.4.0 yanked	2022-10-06
isla_solver-1.4.0-py3-none-any.whl (187 KB)
1.3.3	2022-10-04
isla_solver-1.3.3-py3-none-any.whl (185 KB)
1.3.2	2022-09-30
isla_solver-1.3.2-py3-none-any.whl (194 KB)
1.3.1	2022-09-30
isla_solver-1.3.1-py3-none-any.whl (194 KB)
1.3.0	2022-09-29
isla_solver-1.3.0-py3-none-any.whl (194 KB)
1.2.0	2022-09-27
isla_solver-1.2.0-py3-none-any.whl (191 KB)
1.1.0	2022-09-27
isla_solver-1.1.0-py3-none-any.whl (192 KB)
1.0.1	2022-09-23
isla_solver-1.0.1-py3-none-any.whl (188 KB)
1.0.0	2022-09-22
isla_solver-1.0.0-py3-none-any.whl (188 KB)
0.11.0	2022-09-22
isla_solver-0.11.0-py3-none-any.whl (188 KB)
0.10.10	2022-09-01
isla_solver-0.10.10-py3-none-any.whl (173 KB)
0.10.9	2022-09-01
isla_solver-0.10.9-py3-none-any.whl (173 KB)
0.10.8	2022-08-31
isla_solver-0.10.8-py3-none-any.whl (172 KB)
0.10.7	2022-08-31
isla_solver-0.10.7-py3-none-any.whl (172 KB)
0.10.6	2022-08-30
isla_solver-0.10.6-py3-none-any.whl (172 KB)
0.10.5	2022-08-30
isla_solver-0.10.5-py3-none-any.whl (172 KB)
0.10.4	2022-08-30
isla_solver-0.10.4-py3-none-any.whl (172 KB)
0.10.3	2022-08-29
isla_solver-0.10.3-py3-none-any.whl (172 KB)
0.10.2	2022-08-29
isla_solver-0.10.2-py3-none-any.whl (172 KB)
0.10.1	2022-08-26
isla_solver-0.10.1-py3-none-any.whl (171 KB)
0.10.0	2022-08-22
isla_solver-0.10.0-py3-none-any.whl (171 KB)
0.9.6	2022-08-20
isla_solver-0.9.6-py3-none-any.whl (170 KB)
0.9.5	2022-08-19
isla_solver-0.9.5-py3-none-any.whl (170 KB)
0.9.4	2022-08-19
isla_solver-0.9.4-py3-none-any.whl (170 KB)
0.9.3	2022-08-19
isla_solver-0.9.3-py3-none-any.whl (170 KB)
0.9.2	2022-08-19
isla_solver-0.9.2-py3-none-any.whl (170 KB)
0.9.1	2022-08-19
isla_solver-0.9.1-py3-none-any.whl (171 KB)
0.9.0	2022-08-18
isla_solver-0.9.0-py3-none-any.whl (171 KB)
0.8.18	2022-08-18
isla_solver-0.8.18-py3-none-any.whl (170 KB)
0.8.17	2022-08-17
isla_solver-0.8.17-py3-none-any.whl (170 KB)
0.8.16	2022-08-17
isla_solver-0.8.16-py3-none-any.whl (169 KB)
0.8.15	2022-08-15
isla_solver-0.8.15-py3-none-any.whl (167 KB)
0.8.14	2022-08-10
isla_solver-0.8.14-py3-none-any.whl (167 KB)
0.8.13	2022-08-09
isla_solver-0.8.13-py3-none-any.whl (163 KB)
0.8.12	2022-08-09
isla_solver-0.8.12-py3-none-any.whl (163 KB)
0.8.11	2022-08-09
isla_solver-0.8.11-py3-none-any.whl (163 KB)
0.8.10	2022-08-09
isla_solver-0.8.10-py3-none-any.whl (163 KB)
0.8.9	2022-08-08
isla_solver-0.8.9-py3-none-any.whl (162 KB)
0.8.8	2022-08-08
isla_solver-0.8.8-py3-none-any.whl (162 KB)
0.8.7	2022-08-07
isla_solver-0.8.7-py3-none-any.whl (162 KB)
0.8.6	2022-08-05
isla_solver-0.8.6-py3-none-any.whl (161 KB)
0.8.5	2022-08-04
isla_solver-0.8.5-py3-none-any.whl (161 KB)
0.8.4	2022-08-04
isla_solver-0.8.4-py3-none-any.whl (161 KB)
0.8.3	2022-08-04
isla_solver-0.8.3-py3-none-any.whl (161 KB)
0.8.2	2022-08-04
isla_solver-0.8.2-py3-none-any.whl (159 KB)
0.8.1 yanked	2022-08-04
isla_solver-0.8.1-py3-none-any.whl (159 KB)
0.8.0	2022-08-03
isla_solver-0.8.0-py3-none-any.whl (159 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue