Metadata-Version: 2.3
Name: rustsat
Version: 0.6.6
Summary: This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
Keywords: sat,satisfiability,encodings
Author: Christoph Jabs <christoph.jabs@helsinki.fi>
Author-email: Christoph Jabs <christoph.jabs@helsinki.fi>
License: MIT
Requires-Python: >=3.7
Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM
Project-URL: Source Code, https://github.com/chrjabs/rustsat

[![PyPI](https://img.shields.io/pypi/v/rustsat)](https://pypi.org/project/rustsat)
[![License](https://img.shields.io/crates/l/rustsat)](./LICENSE)

<!-- cargo-rdme start -->

# Python API for RustSAT

This is the Python API for RustSAT. Currently this API is very minimal and
not the focus of this project. For now, only the API of certain encodings is
available.

## Installation

The Python bindings can be installed from [PyPI](https://pypi.org/project/rustsat/).

## Documentation

Documentation for this API can be found [here](https://christophjabs.info/rustsat/pyapi/).

<!-- cargo-rdme end -->

