semvec/pypi-packages huggingface dataset:
vnnlib 1.0.1
Python bindings for VNN-LIB parsing and AST manipulation
License: MIT
Requires Python: >=3.7

# VNN-LIB Python

A Python package for parsing and manipulating neural network properties in the updated [VNN-LIB format](https://www.vnnlib.org/). 

## Features

Features include:
- Parsing: Convert VNN-LIB file or string into a type-checked AST
- AST traversal: Access, traverse, and convert the AST back to a string.
- Transformers:
    - Linearise arithmetic expressions
    - Convert boolean expressions to Disjunctive Normal Form (DNF)
    - Transform spec to reachability format used in prior VNN-COMPs.

## Installation

Install the latest stable version via PyPi:
```bash
pip install vnnlib
```

## Basic Usage

```python
import vnnlib

# Parse a VNN-LIB specification
query = vnnlib.parse_query_file("path/to/spec.vnnlib")

for assertion in query.assertions:
    print(assertion)
```

## Version compatibility

| VNNLIB-Python version | VNNLIB version |
| --- | --- |
| v1.0.1 | v2.0 |
| v1.0 | v2.0 |
| v0.0.1 | v1.0 |
webtoapklib 2.4
A powerful Python library to convert websites into Android APKs with auto-signing.
License: MIT
Requires Python: >=3.7

# WebToApkLib 

**WebToApkLib** is a powerful Python library that converts any website URL into a fully functional, signed Android APK file. 

It handles the complex work of decompiling, modifying manifest files, updating resources, rebuilding, and signing the APK automatically.

## Features
* **One-Line Conversion:** Convert a URL to an APK with a single function call.
* **Auto-Signing:** Comes with a bundled debug keystore, so generated APKs are installable immediately.
* **Custom Keystore Support:** Use your own `.jks` file for Play Store production builds.
* **Smart Manifest Handling:** Automatically avoids package conflicts.
* **Splash Screen Support:** Easily add your own splash screen and icon.

## Prerequisites
* **Python 3.7+**
* **Java (JDK 8 or newer):** Must be installed and added to your system PATH (required for apktool and signing).

## 📦 Installation

```bash
pip install webtoapklib

## Usage Example
1. Basic Usage (Auto-Signed)
This is perfect for testing. It uses the bundled debug key, so you don't need to configure anything.

from webtoapklib import APKConverter 

converter = APKConverter()

converter.convert(
    url="https://www.google.com",
    app_name="MyAwesomeAPP",
    icon_path="app_logo.png",       
    splash_logo_path="splash_screen.png", 
    splash_bg_path="splash_bg.png",    
    output_dir="output",
    splash_time_sec=3
)


Production Usage (Custom Keystore)
Use this when you are ready to publish to the Google Play Store.

Python

apk_path = converter.convert(
    url="[https://your-website.com](https://your-website.com)",
    app_name="My Production App",
    icon_path="icon.png",
    splash_logo_path="logo.png",
    splash_bg_path="bg.png",
    output_dir="dist",
    
    # Custom Signing Credentials
    keystore_path="my-release-key.jks",
    keystore_pass="mypassword",
    key_alias="mykey"
)