piwheels

kframework

Installation

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

pip3 install kframework

Dependencies

• hypothesis
• tomli
• pybind11
• cookiecutter
• psutil
• graphviz
• xdg-base-dirs
• pytest
• textual
• filelock
• coloredlogs
• networkx

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
7.1.288	2025-09-18
kframework-7.1.288-py3-none-any.whl (287 KB)
7.1.286	2025-09-13
kframework-7.1.286-py3-none-any.whl (287 KB)
7.1.282	2025-08-26
kframework-7.1.282-py3-none-any.whl (287 KB)
7.1.280	2025-07-18
kframework-7.1.280-py3-none-any.whl (287 KB)
7.1.278	2025-07-17
kframework-7.1.278-py3-none-any.whl (287 KB)
7.1.277	2025-07-17
kframework-7.1.277-py3-none-any.whl (287 KB)
7.1.276	2025-07-16
kframework-7.1.276-py3-none-any.whl (287 KB)
7.1.275	2025-07-16
kframework-7.1.275-py3-none-any.whl (287 KB)
7.1.274	2025-07-14
kframework-7.1.274-py3-none-any.whl (287 KB)
7.1.273	2025-07-03
kframework-7.1.273-py3-none-any.whl (287 KB)
7.1.272	2025-07-03
kframework-7.1.272-py3-none-any.whl (287 KB)
7.1.271	2025-06-23
kframework-7.1.271-py3-none-any.whl (287 KB)
7.1.270	2025-06-20
kframework-7.1.270-py3-none-any.whl (287 KB)
7.1.268	2025-06-16
kframework-7.1.268-py3-none-any.whl (287 KB)
7.1.267	2025-06-09
kframework-7.1.267-py3-none-any.whl (287 KB)
7.1.266	2025-06-06
kframework-7.1.266-py3-none-any.whl (287 KB)
7.1.265	2025-06-04
kframework-7.1.265-py3-none-any.whl (287 KB)
7.1.263	2025-05-28
kframework-7.1.263-py3-none-any.whl (287 KB)
7.1.262	2025-05-27
kframework-7.1.262-py3-none-any.whl (287 KB)
7.1.261	2025-05-26
kframework-7.1.261-py3-none-any.whl (287 KB)
7.1.259	2025-05-22
kframework-7.1.259-py3-none-any.whl (287 KB)
7.1.258	2025-05-21
kframework-7.1.258-py3-none-any.whl (287 KB)
7.1.257	2025-05-20
kframework-7.1.257-py3-none-any.whl (285 KB)
7.1.256	2025-05-20
kframework-7.1.256-py3-none-any.whl (284 KB)
7.1.255	2025-05-15
kframework-7.1.255-py3-none-any.whl (284 KB)
7.1.254	2025-05-14
kframework-7.1.254-py3-none-any.whl (284 KB)
7.1.253	2025-05-12
kframework-7.1.253-py3-none-any.whl (284 KB)
7.1.252	2025-05-12
kframework-7.1.252-py3-none-any.whl (284 KB)
7.1.251	2025-05-12
kframework-7.1.251-py3-none-any.whl (284 KB)
7.1.249	2025-05-04
kframework-7.1.249-py3-none-any.whl (285 KB)
7.1.248	2025-04-30
kframework-7.1.248-py3-none-any.whl (285 KB)
7.1.247	2025-04-30
kframework-7.1.247-py3-none-any.whl (285 KB)
7.1.246	2025-04-29
kframework-7.1.246-py3-none-any.whl (284 KB)
7.1.245	2025-04-29
kframework-7.1.245-py3-none-any.whl (289 KB)
7.1.244	2025-04-28
kframework-7.1.244-py3-none-any.whl (289 KB)
7.1.243	2025-04-28
kframework-7.1.243-py3-none-any.whl (289 KB)
7.1.242	2025-04-28
kframework-7.1.242-py3-none-any.whl (289 KB)
7.1.241	2025-04-17
kframework-7.1.241-py3-none-any.whl (289 KB)
7.1.240	2025-04-17
kframework-7.1.240-py3-none-any.whl (289 KB)
7.1.238	2025-04-16
kframework-7.1.238-py3-none-any.whl (288 KB)
7.1.237	2025-04-16
kframework-7.1.237-py3-none-any.whl (288 KB)
7.1.236	2025-04-07
kframework-7.1.236-py3-none-any.whl (288 KB)
7.1.235	2025-04-03
kframework-7.1.235-py3-none-any.whl (288 KB)
7.1.232	2025-03-24
kframework-7.1.232-py3-none-any.whl (288 KB)
7.1.230	2025-03-20
kframework-7.1.230-py3-none-any.whl (288 KB)
7.1.229	2025-03-18
kframework-7.1.229-py3-none-any.whl (288 KB)
7.1.228	2025-03-17
kframework-7.1.228-py3-none-any.whl (288 KB)
7.1.227	2025-03-17
kframework-7.1.227-py3-none-any.whl (288 KB)
7.1.226	2025-03-17
kframework-7.1.226-py3-none-any.whl (289 KB)
7.1.225	2025-03-14
kframework-7.1.225-py3-none-any.whl (289 KB)
7.1.224	2025-03-14
kframework-7.1.224-py3-none-any.whl (289 KB)
7.1.223	2025-03-14
kframework-7.1.223-py3-none-any.whl (289 KB)
7.1.222	2025-03-13
kframework-7.1.222-py3-none-any.whl (286 KB)
7.1.220	2025-03-13
kframework-7.1.220-py3-none-any.whl (286 KB)
7.1.219	2025-03-10
kframework-7.1.219-py3-none-any.whl (285 KB)
7.1.218	2025-03-05
kframework-7.1.218-py3-none-any.whl (285 KB)
7.1.217	2025-03-02
kframework-7.1.217-py3-none-any.whl (285 KB)
7.1.216	2025-02-24
kframework-7.1.216-py3-none-any.whl (285 KB)
7.1.214	2025-02-21
kframework-7.1.214-py3-none-any.whl (281 KB)
7.1.213	2025-02-21
kframework-7.1.213-py3-none-any.whl (281 KB)
7.1.212	2025-02-05
kframework-7.1.212-py3-none-any.whl (281 KB)
7.1.211	2025-02-03
kframework-7.1.211-py3-none-any.whl (281 KB)
7.1.210	2025-02-03
kframework-7.1.210-py3-none-any.whl (281 KB)
7.1.208	2025-01-27
kframework-7.1.208-py3-none-any.whl (277 KB)
7.1.207	2025-01-23
kframework-7.1.207-py3-none-any.whl (274 KB)
7.1.205	2025-01-20
kframework-7.1.205-py3-none-any.whl (274 KB)
7.1.204	2025-01-20
kframework-7.1.204-py3-none-any.whl (274 KB)
7.1.203	2025-01-20
kframework-7.1.203-py3-none-any.whl (273 KB)
7.1.202	2025-01-20
kframework-7.1.202-py3-none-any.whl (272 KB)
7.1.201	2025-01-17
kframework-7.1.201-py3-none-any.whl (272 KB)
7.1.199	2025-01-16
kframework-7.1.199-py3-none-any.whl (270 KB)
7.1.198	2025-01-14
kframework-7.1.198-py3-none-any.whl (269 KB)
7.1.196	2025-01-07
kframework-7.1.196-py3-none-any.whl (269 KB)
7.1.195	2025-01-07
kframework-7.1.195-py3-none-any.whl (265 KB)
7.1.194	2025-01-07
kframework-7.1.194-py3-none-any.whl (265 KB)
7.1.193	2024-12-29
kframework-7.1.193-py3-none-any.whl (265 KB)
7.1.191	2024-12-17
kframework-7.1.191-py3-none-any.whl (263 KB)
7.1.190	2024-12-17
kframework-7.1.190-py3-none-any.whl (263 KB)
7.1.187	2024-12-11
kframework-7.1.187-py3-none-any.whl (262 KB)
7.1.186	2024-12-10
kframework-7.1.186-py3-none-any.whl (262 KB)
7.1.184	2024-12-05
kframework-7.1.184-py3-none-any.whl (261 KB)
7.1.183	2024-12-04
kframework-7.1.183-py3-none-any.whl (261 KB)
7.1.182	2024-12-04
kframework-7.1.182-py3-none-any.whl (261 KB)
7.1.181	2024-12-03
kframework-7.1.181-py3-none-any.whl (261 KB)
7.1.180	2024-11-28
kframework-7.1.180-py3-none-any.whl (261 KB)
7.1.179	2024-11-27
kframework-7.1.179-py3-none-any.whl (258 KB)
7.1.178	2024-11-27
kframework-7.1.178-py3-none-any.whl (258 KB)
7.1.177	2024-11-27
kframework-7.1.177-py3-none-any.whl (258 KB)
7.1.174	2024-11-21
kframework-7.1.174-py3-none-any.whl (258 KB)
7.1.173	2024-11-21
kframework-7.1.173-py3-none-any.whl (257 KB)
7.1.170	2024-11-01
kframework-7.1.170-py3-none-any.whl (256 KB)
7.1.169	2024-10-31
kframework-7.1.169-py3-none-any.whl (256 KB)
7.1.167	2024-10-29
kframework-7.1.167-py3-none-any.whl (256 KB)
7.1.166	2024-10-23
kframework-7.1.166-py3-none-any.whl (256 KB)
7.1.165	2024-10-23
7.1.164	2024-10-18
kframework-7.1.164-py3-none-any.whl (256 KB)
7.1.163	2024-10-18
kframework-7.1.163-py3-none-any.whl (256 KB)
7.1.162	2024-10-17
kframework-7.1.162-py3-none-any.whl (256 KB)
7.1.160	2024-10-17
7.1.159	2024-10-16
kframework-7.1.159-py3-none-any.whl (256 KB)
7.1.158	2024-10-11
kframework-7.1.158-py3-none-any.whl (256 KB)
7.1.157	2024-10-10
kframework-7.1.157-py3-none-any.whl (256 KB)
7.1.156	2024-10-09
kframework-7.1.156-py3-none-any.whl (256 KB)
7.1.155	2024-10-07
kframework-7.1.155-py3-none-any.whl (256 KB)
7.1.154	2024-10-07
kframework-7.1.154-py3-none-any.whl (256 KB)
7.1.153	2024-10-03
kframework-7.1.153-py3-none-any.whl (256 KB)
7.1.151	2024-09-25
kframework-7.1.151-py3-none-any.whl (256 KB)
7.1.150	2024-09-25
kframework-7.1.150-py3-none-any.whl (256 KB)
7.1.149	2024-09-22
kframework-7.1.149-py3-none-any.whl (256 KB)
7.1.148	2024-09-20
kframework-7.1.148-py3-none-any.whl (256 KB)
7.1.147	2024-09-20
kframework-7.1.147-py3-none-any.whl (256 KB)
7.1.146	2024-09-19
kframework-7.1.146-py3-none-any.whl (254 KB)
7.1.145	2024-09-18
kframework-7.1.145-py3-none-any.whl (254 KB)
7.1.144	2024-09-17
kframework-7.1.144-py3-none-any.whl (254 KB)
7.1.143	2024-09-17
kframework-7.1.143-py3-none-any.whl (254 KB)
7.1.142	2024-09-12
kframework-7.1.142-py3-none-any.whl (254 KB)
7.1.141	2024-09-11
kframework-7.1.141-py3-none-any.whl (254 KB)
7.1.140	2024-09-11
kframework-7.1.140-py3-none-any.whl (254 KB)
7.1.139	2024-09-09
kframework-7.1.139-py3-none-any.whl (254 KB)
7.1.138	2024-09-09
kframework-7.1.138-py3-none-any.whl (254 KB)
7.1.137	2024-09-09
kframework-7.1.137-py3-none-any.whl (254 KB)
7.1.136	2024-09-06
kframework-7.1.136-py3-none-any.whl (254 KB)
7.1.135	2024-09-06
kframework-7.1.135-py3-none-any.whl (254 KB)
7.1.134	2024-09-06
kframework-7.1.134-py3-none-any.whl (254 KB)
7.1.133	2024-09-06
kframework-7.1.133-py3-none-any.whl (254 KB)
7.1.132	2024-09-06
kframework-7.1.132-py3-none-any.whl (254 KB)
7.1.131	2024-09-03
kframework-7.1.131-py3-none-any.whl (254 KB)
7.1.129	2024-09-03
kframework-7.1.129-py3-none-any.whl (254 KB)
7.1.127	2024-09-02
kframework-7.1.127-py3-none-any.whl (254 KB)
7.1.126	2024-09-02
kframework-7.1.126-py3-none-any.whl (254 KB)
7.1.125	2024-08-29
kframework-7.1.125-py3-none-any.whl (254 KB)
7.1.124	2024-08-28
kframework-7.1.124-py3-none-any.whl (254 KB)
7.1.123	2024-08-28
kframework-7.1.123-py3-none-any.whl (254 KB)
7.1.122	2024-08-27
kframework-7.1.122-py3-none-any.whl (254 KB)
7.1.121	2024-08-26
kframework-7.1.121-py3-none-any.whl (253 KB)
7.1.120	2024-08-23
kframework-7.1.120-py3-none-any.whl (253 KB)
7.1.119	2024-08-22
kframework-7.1.119-py3-none-any.whl (252 KB)
7.1.118	2024-08-22
kframework-7.1.118-py3-none-any.whl (252 KB)
7.1.117	2024-08-22
kframework-7.1.117-py3-none-any.whl (252 KB)
7.1.116	2024-08-22
kframework-7.1.116-py3-none-any.whl (252 KB)
7.1.114	2024-08-21
kframework-7.1.114-py3-none-any.whl (252 KB)
7.1.112	2024-08-19
kframework-7.1.112-py3-none-any.whl (252 KB)
7.1.111	2024-08-16
kframework-7.1.111-py3-none-any.whl (251 KB)
7.1.110	2024-08-15
kframework-7.1.110-py3-none-any.whl (251 KB)
7.1.109	2024-08-14
kframework-7.1.109-py3-none-any.whl (251 KB)
7.1.108	2024-08-14
kframework-7.1.108-py3-none-any.whl (251 KB)
7.1.107	2024-08-14
kframework-7.1.107-py3-none-any.whl (251 KB)
7.1.106	2024-08-14
kframework-7.1.106-py3-none-any.whl (251 KB)
7.1.105	2024-08-14
kframework-7.1.105-py3-none-any.whl (251 KB)
7.1.104	2024-08-12
kframework-7.1.104-py3-none-any.whl (251 KB)
7.1.103	2024-08-09
kframework-7.1.103-py3-none-any.whl (250 KB)
7.1.102	2024-08-08
kframework-7.1.102-py3-none-any.whl (250 KB)
7.1.101	2024-08-08
kframework-7.1.101-py3-none-any.whl (250 KB)
7.1.100	2024-08-08
kframework-7.1.100-py3-none-any.whl (250 KB)
7.1.99	2024-08-08
kframework-7.1.99-py3-none-any.whl (250 KB)
7.1.98	2024-08-08
kframework-7.1.98-py3-none-any.whl (250 KB)
7.1.97	2024-08-07
kframework-7.1.97-py3-none-any.whl (251 KB)
7.1.96	2024-08-07
kframework-7.1.96-py3-none-any.whl (251 KB)
7.1.95	2024-08-06
kframework-7.1.95-py3-none-any.whl (251 KB)
7.1.94	2024-08-06
kframework-7.1.94-py3-none-any.whl (251 KB)
7.1.93	2024-08-05
kframework-7.1.93-py3-none-any.whl (251 KB)
7.1.92	2024-08-02
kframework-7.1.92-py3-none-any.whl (251 KB)
7.1.90	2024-08-01
kframework-7.1.90-py3-none-any.whl (251 KB)
7.1.89	2024-07-30
kframework-7.1.89-py3-none-any.whl (251 KB)
7.1.88	2024-07-29
kframework-7.1.88-py3-none-any.whl (250 KB)
7.1.87	2024-07-29
kframework-7.1.87-py3-none-any.whl (250 KB)
7.1.86	2024-07-29
kframework-7.1.86-py3-none-any.whl (250 KB)
7.1.85	2024-07-26
kframework-7.1.85-py3-none-any.whl (250 KB)
7.1.84	2024-07-26
kframework-7.1.84-py3-none-any.whl (250 KB)
7.1.83	2024-07-26
kframework-7.1.83-py3-none-any.whl (250 KB)
7.1.82	2024-07-26
kframework-7.1.82-py3-none-any.whl (250 KB)
7.1.81	2024-07-26
kframework-7.1.81-py3-none-any.whl (250 KB)
7.1.80	2024-07-25
kframework-7.1.80-py3-none-any.whl (250 KB)
7.1.79	2024-07-24
kframework-7.1.79-py3-none-any.whl (250 KB)
7.1.78	2024-07-23
kframework-7.1.78-py3-none-any.whl (250 KB)
7.1.77	2024-07-23
kframework-7.1.77-py3-none-any.whl (250 KB)
7.1.76	2024-07-23
kframework-7.1.76-py3-none-any.whl (250 KB)
7.1.74	2024-07-23
kframework-7.1.74-py3-none-any.whl (250 KB)
7.1.72	2024-07-22
kframework-7.1.72-py3-none-any.whl (250 KB)
7.1.70	2024-07-19
kframework-7.1.70-py3-none-any.whl (250 KB)
7.1.69	2024-07-19
kframework-7.1.69-py3-none-any.whl (250 KB)
7.1.68	2024-07-19
kframework-7.1.68-py3-none-any.whl (250 KB)
7.1.67	2024-07-18
kframework-7.1.67-py3-none-any.whl (250 KB)
7.1.66	2024-07-17
kframework-7.1.66-py3-none-any.whl (250 KB)
7.1.65	2024-07-17
kframework-7.1.65-py3-none-any.whl (250 KB)
7.1.64	2024-07-17
kframework-7.1.64-py3-none-any.whl (250 KB)
7.1.63	2024-07-16
kframework-7.1.63-py3-none-any.whl (250 KB)
7.1.62	2024-07-16
kframework-7.1.62-py3-none-any.whl (248 KB)
7.1.61	2024-07-16
kframework-7.1.61-py3-none-any.whl (248 KB)
7.1.60	2024-07-15
kframework-7.1.60-py3-none-any.whl (248 KB)
7.1.59	2024-07-15
kframework-7.1.59-py3-none-any.whl (248 KB)
7.1.58	2024-07-13
7.1.57	2024-07-12
kframework-7.1.57-py3-none-any.whl (248 KB)
7.1.56	2024-07-11
kframework-7.1.56-py3-none-any.whl (248 KB)
7.1.55	2024-07-11
kframework-7.1.55-py3-none-any.whl (248 KB)
7.1.54	2024-07-10
7.1.53	2024-07-10
7.1.52	2024-07-10
7.1.51	2024-07-10
kframework-7.1.51-py3-none-any.whl (248 KB)
7.1.50	2024-07-10
kframework-7.1.50-py3-none-any.whl (248 KB)
7.1.49	2024-07-10
kframework-7.1.49-py3-none-any.whl (248 KB)
7.1.48	2024-07-10
kframework-7.1.48-py3-none-any.whl (248 KB)
7.1.46	2024-07-09
kframework-7.1.46-py3-none-any.whl (248 KB)
7.1.45	2024-07-08
kframework-7.1.45-py3-none-any.whl (247 KB)
7.1.44	2024-07-04
kframework-7.1.44-py3-none-any.whl (247 KB)
7.1.43	2024-07-03
kframework-7.1.43-py3-none-any.whl (247 KB)
7.1.42	2024-07-03
kframework-7.1.42-py3-none-any.whl (247 KB)
7.1.41	2024-07-02
kframework-7.1.41-py3-none-any.whl (247 KB)
7.1.40	2024-07-02
kframework-7.1.40-py3-none-any.whl (247 KB)
7.1.39	2024-06-28
kframework-7.1.39-py3-none-any.whl (247 KB)
7.1.38	2024-06-28
kframework-7.1.38-py3-none-any.whl (247 KB)
7.1.37	2024-06-27
kframework-7.1.37-py3-none-any.whl (247 KB)
7.1.36	2024-06-27
kframework-7.1.36-py3-none-any.whl (247 KB)
7.1.35	2024-06-27
kframework-7.1.35-py3-none-any.whl (247 KB)
7.1.33	2024-06-26
kframework-7.1.33-py3-none-any.whl (247 KB)
7.1.32	2024-06-26
kframework-7.1.32-py3-none-any.whl (247 KB)
7.1.31	2024-06-26
kframework-7.1.31-py3-none-any.whl (247 KB)
7.1.30	2024-06-25
kframework-7.1.30-py3-none-any.whl (247 KB)
7.1.29	2024-06-25
kframework-7.1.29-py3-none-any.whl (247 KB)
7.1.28	2024-06-25
kframework-7.1.28-py3-none-any.whl (246 KB)
7.1.27	2024-06-25
kframework-7.1.27-py3-none-any.whl (246 KB)
7.1.26	2024-06-24
kframework-7.1.26-py3-none-any.whl (246 KB)
7.1.25	2024-06-24
kframework-7.1.25-py3-none-any.whl (245 KB)
7.1.24	2024-06-24
kframework-7.1.24-py3-none-any.whl (243 KB)
7.1.23	2024-06-24
kframework-7.1.23-py3-none-any.whl (243 KB)
7.1.22	2024-06-24
kframework-7.1.22-py3-none-any.whl (243 KB)
7.1.21	2024-06-21
kframework-7.1.21-py3-none-any.whl (243 KB)
7.1.20	2024-06-21
kframework-7.1.20-py3-none-any.whl (243 KB)
7.1.19	2024-06-21
kframework-7.1.19-py3-none-any.whl (243 KB)
7.1.18	2024-06-21
kframework-7.1.18-py3-none-any.whl (243 KB)
7.1.17	2024-06-21
kframework-7.1.17-py3-none-any.whl (243 KB)
7.1.0	2025-08-26
kframework-7.1.0-py3-none-any.whl (287 KB)
7.0.41	2024-06-04
kframework-7.0.41-py3-none-any.whl (244 KB)

Issues with this package?

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