yices
PyPI page
Home page
09-30 10-07 10-14 10-21 10-28 11-04 11-11 11-18 11-25 12-02 12-09 12-16 12-23 12-30 01-06 01-13 01-20 01-27 02-03 02-10 02-17 02-24 03-03 03-10 03-17 03-24 0 50 100 150
With_Mirrors Without_Mirrors 30d 60d 90d 120d all Daily Download Quantity of yices package - Overall Date Downloads 09-30 10-07 10-14 10-21 10-28 11-04 11-11 11-18 11-25 12-02 12-09 12-16 12-23 12-30 01-06 01-13 01-20 01-27 02-03 02-10 02-17 02-24 03-03 03-10 03-17 03-24 0 20 40 60 80
2 3 Null 30d 60d 90d 120d all Daily Download Quantity of yices package - Python Major Date Downloads 09-30 10-07 10-14 10-21 10-28 11-04 11-11 11-18 11-25 12-02 12-09 12-16 12-23 12-30 01-06 01-13 01-20 01-27 02-03 02-10 02-17 02-24 03-03 03-10 03-17 03-24 0% 20% 40% 60% 80% 100%
2 3 Null 30d 60d 90d 120d all Daily Download Proportions of yices package - Python Major Date Download Proportion 09-30 10-07 10-14 10-21 10-28 11-04 11-11 11-18 11-25 12-02 12-09 12-16 12-23 12-30 01-06 01-13 01-20 01-27 02-03 02-10 02-17 02-24 03-03 03-10 03-17 03-24 0 20 40 60 80
2.7 3.10 3.11 3.12 3.13 3.7 3.8 3.9 Null 30d 60d 90d 120d all Daily Download Quantity of yices package - Python Minor Date Downloads 09-30 10-07 10-14 10-21 10-28 11-04 11-11 11-18 11-25 12-02 12-09 12-16 12-23 12-30 01-06 01-13 01-20 01-27 02-03 02-10 02-17 02-24 03-03 03-10 03-17 03-24 0% 20% 40% 60% 80% 100%
2.7 3.10 3.11 3.12 3.13 3.7 3.8 3.9 Null 30d 60d 90d 120d all Daily Download Proportions of yices package - Python Minor Date Download Proportion 09-30 10-07 10-14 10-21 10-28 11-04 11-11 11-18 11-25 12-02 12-09 12-16 12-23 12-30 01-06 01-13 01-20 01-27 02-03 02-10 02-17 02-24 03-03 03-10 03-17 03-24 0 20 40 60 80
Darwin Linux Windows Null 30d 60d 90d 120d all Daily Download Quantity of yices package - System Date Downloads 09-30 10-07 10-14 10-21 10-28 11-04 11-11 11-18 11-25 12-02 12-09 12-16 12-23 12-30 01-06 01-13 01-20 01-27 02-03 02-10 02-17 02-24 03-03 03-10 03-17 03-24 0% 20% 40% 60% 80% 100%
Darwin Linux Windows Null 30d 60d 90d 120d all Daily Download Proportions of yices package - System Date Download Proportion