pip install gr1py==0.3.0
enumerative (or concrete) reactive synthesis tool for the GR(1) fragment of LTL
SourceAmong fairly niche packages on PyPI.
Over 544 downloads in the last 90 days.
gr1py
Based on how often these packages appear together in public
requirements.txt
files on GitHub.
Symbolic algorithms for solving games of infinite duration. |
|
Ovation Python API |
|
Itertools recipes. |
|
None |
|
A lightweight in-memory graph database |
|
A pure Python shogi library with move generation and validation and handling of common formats. |
|
Implementation of community-based graph embedding for user classification. |
|
Utility methods for generating labels for Twitter users and handling their storage and retrieval |
|
a nice sphinx theme named 'Cloud', and some related extensions |
|
Official blink(1) control library |
|
A collection of bioinformatics-related helper functions |
|
Semantic similarity framework for knowledge graphs |
|
Alternating Directions Dual Decomposition |
|
A fast, robust library to check for offensive language in strings. |
|
Fusion Matcher |
|
Core components of PySAL A library of spatial analysis functions. |
|
Scikits sparse matrix package |
|
A package providing text segmentation evaluation metrics and utilities |
|
Scan your WiFi and get access point information and signal quality. |
gr1py
Proportion of downloaded versions in the last 3 months (only versions over 1%).
0.3.0 |
47.79% |
0.2.0 |
18.93% |
0.1.0 |
18.01% |
0.0.4 |
15.26% |