Metadata-Version: 2.4
Name: sagelite-kissat-runtime
Version: 10.9
Summary: Optional Kissat SAT solver executable companion package for sagelite
Author-email: The Sage Developers <sage-support@googlegroups.com>
License-Expression: MIT
Project-URL: Homepage, https://www.sagemath.org
Classifier: Development Status :: 6 - Mature
Classifier: Intended Audience :: Education
Classifier: Intended Audience :: Science/Research
Classifier: Operating System :: POSIX
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Classifier: Programming Language :: Python :: 3.14
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.12
Description-Content-Type: text/markdown

# sagelite-kissat-runtime

Optional Kissat SAT solver executable companion package for `sagelite`.

Some Sage SAT solver doctests and interfaces call the standalone `kissat`
program. The `sagelite` wheel does not include executable files from Sage's
build prefix, so installing this package in the same Python environment provides
a relocatable `kissat` command.

Build this package from a system or Sage prefix that already has Kissat
installed:

```bash
SAGELITE_KISSAT_BINDIR=/path/to/bin python -m build companion-packages/sagelite-kissat-runtime
```

If `SAGELITE_KISSAT_BINDIR` is not set, the build checks `SAGE_LOCAL/bin` and
common system locations. For production wheels, build this package from the
same Sage prefix used to build the corresponding `sagelite` wheel.
