semvec/pypi-packages huggingface dataset:
jz3 0.1.13
A library for benchmarking difference smt sovlers
License: MIT
Requires Python: >=3.11

# JZ3
> This project was partly based on the code from [z3-sudoku](https://github.com/awkwardbunny/z3-sudoku)

This project uses python z3-solver to benchmark encoding techniques to solving the same problem. 
It then compares the efficiency of each method and between different encoding techniques.

The link to the PyPi package is [https://pypi.org/project/jz3/](https://pypi.org/project/jz3/)
The link to the github repo is [https://github.com/Robert-Jia00129/jz3](https://github.com/Robert-Jia00129/jz3)

- `/solvers`: Houses executables and related files for various SMT solvers used in the project.

 for analyzing solver performance and generating images for reports or presentations.
xai-grok-sdk-advanced 1.3.0
Advanced SDK for xAI Grok API with analytics and rate-limit handling
License: MIT
Requires Python: >=3.7

### Rate-Limit Monitoring

The SDK provides unlimited API calls but will warn users when nearing the provider's rate limit. Example:

```python
sdk = XaiGrokSDK(api_key="your-api-key")

# Make a request
response = sdk._request("GET", "/models")

# Check rate limit analytics
sdk.analytics()

# Example Output
# Warning: 3/100 API requests remaining. Rate limit resets at 1700000000.
# Total API calls made this session: 5


### Usage Examples

#### Retrieve Analytics
```python
sdk.analytics()
# Output:
# Total API requests: 10
# Cache hits: 2
# Retry attempts: 1