semvec/pypi-packages huggingface dataset:
simpletweetlib 0.0.1
A quite simple and easy to use tweet library
Requires Python: >=3.7

# simple tweet library
A quite simple and easy to use twitter library.

# How To Install
```
pip install simpletweetlib
```

# How To Use
## Sample Code
```python
from simpletweetlib.tweet import Tweet
consumer_key = "foobar"
consumer_secret = "foobar"
access_token = "foobar"
access_token_secret = "foobar"

t = Tweet(consumer_key, consumer_secret, access_token, access_token_secret)
t.tweet("Hello World!")
```

## What is consumer_key, consumer_secret, access_token_secret and access_token?
* Following the [twitter document](https://developer.twitter.com/en/account/get-started).
* Creating an app in the website.
* Getting 4 keys in `Keys and Token` pages of the website.
* Replacing "foobar" in sample code to the keys.
ltl-parser-pkg 0.1.3
Parse the DOT file generated from SPOT API and creates a Graph with node-edge information.

## Graph Parser for LTL formulation
LTL Graph parser takes a **.dot** file as an input generated from the SPOT library, parses it and creates a Graph with node-edge information.

### API Reference
class **LTLGraphCreation** contain following APIs.
  - **parsing_buffer()**
    - This method takes the **.dot** file as string and creates the graph object. Internally a callback method is invoked to store the node and edge information in a dictionary object. 

  - **graph_print()**
    - Print the full graph information with edges and nodes.

  - **get_action(src, dst)**
    - Returns a list of actions taken from a source vertex to the destination vertex in the LTL formaulation.

  - **check_dead_nodes()**
    - Print all the dead nodes (if present any) in the formulated graph. 

  - **is_dead(node)**
    - Check whether a vertex/node is in a dead state, i.e., no other vertex/state can be reachable from this vertex/node.

  - **recurse_traversal(cur_node, path, actions, p_len=20)**
    - It prints the path of length p_len (default: 20) and the corresponding actions taken along the edges from a starting vertex. While traversing the graph, it avoids the dead vertex and randomly choose the next valid vertex with an action.

  - **self.graph**
    - This class variable holds all the node and edge information of the LTL graph generated from the SPOT library.