Metadata-Version: 2.4
Name: flingo
Version: 1.0.1
Summary: flingo is a solver for Answer Set Programming (ASP) combined with founded conditional linear constraints
Author-email: Philipp Wanko <wanko@cs.uni-potsdam.de>
License-Expression: MIT
Project-URL: Homepage, https://github.com/potassco/flingo/
Requires-Python: >=3.12
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: clingo
Requires-Dist: clingcon
Provides-Extra: lint-ruff
Requires-Dist: ruff; extra == "lint-ruff"
Provides-Extra: lint-pylint
Requires-Dist: pylint; extra == "lint-pylint"
Provides-Extra: typecheck
Requires-Dist: types-setuptools; extra == "typecheck"
Requires-Dist: mypy; extra == "typecheck"
Provides-Extra: test
Requires-Dist: coverage[toml]; extra == "test"
Provides-Extra: doc
Requires-Dist: mkdocs; extra == "doc"
Requires-Dist: mkdocs-material; extra == "doc"
Requires-Dist: mkdocstrings[python]; extra == "doc"
Requires-Dist: mkdoclingo; extra == "doc"
Requires-Dist: mkdocs-literate-nav; extra == "doc"
Provides-Extra: dev
Requires-Dist: flingo[lint_pylint,lint_ruff,test,typecheck]; extra == "dev"
Dynamic: license-file

[![Documentation](https://img.shields.io/badge/docs-potassco.org-blue)](https://docs.potassco.org/flingo/)
[![PyPI version](https://img.shields.io/pypi/v/flingo)](https://pypi.org/project/flingo/)
[![License](https://img.shields.io/github/license/potassco/flingo)](LICENSE)

# flingo

flingo is a solver for ASP modulo conditional linear constraints with founded variables.

Visit the [documentation](https://docs.potassco.org/flingo/) for more details on how
to use *flingo* and its features.

## Installation

To install the project you must have Python 3.12 or higher, and run

From PyPI:

```bash
pip install flingo
```

From the repository root:

```bash
pip install .
```

## Usage

Run the following for basic usage information:

```bash
flingo -h
```
