Metadata-Version: 2.4
Name: kompyle
Version: 0.0.1.dev112
Summary: Python interface to several d-DNNF knowledge compilers
Keywords: knowledge compilation,d-DNNF,model counting,SAT,probabilistic inference,Boolean circuits
Author: Ibrahim El Kaddouri, Vincent Derkinderen
License-Expression: Apache-2.0
License-File: LICENSE
License-File: licenses/LICENSE-AGPL-3.0.txt
License-File: licenses/LICENSE-Apache-2.0.txt
License-File: licenses/LICENSE-BSD-2-Clause.txt
License-File: licenses/LICENSE-BSD-3-Clause.txt
License-File: licenses/LICENSE-GPL-2.0.txt
License-File: licenses/LICENSE-LGPL-2.1.txt
License-File: licenses/LICENSE-LGPL-3.0.txt
License-File: licenses/LICENSE-MIT.txt
License-File: licenses/LICENSE-MPL-2.0.txt
License-File: licenses/LICENSE-PaToH.txt
License-File: licenses/NOTICE-armadillo.txt
Classifier: Development Status :: 4 - Beta
Classifier: Intended Audience :: Science/Research
Classifier: Operating System :: POSIX :: Linux
Classifier: Operating System :: MacOS
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: C++
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Topic :: Scientific/Engineering :: Mathematics
Project-URL: Homepage, https://github.com/ML-KULeuven/kompyle
Project-URL: Source, https://github.com/ML-KULeuven/kompyle
Project-URL: Issue Tracker, https://github.com/ML-KULeuven/kompyle/issues
Requires-Python: >=3.10
Requires-Dist: numpy
Requires-Dist: klaycircuits
Provides-Extra: dev
Requires-Dist: nanobind>=1.3.2; extra == "dev"
Requires-Dist: pytest; extra == "dev"
Requires-Dist: pytest-xdist; extra == "dev"
Requires-Dist: torch; extra == "dev"
Requires-Dist: pysdd; extra == "dev"
Requires-Dist: pyright; extra == "dev"
Requires-Dist: cpplint; extra == "dev"
Requires-Dist: auditwheel; extra == "dev"
Requires-Dist: graphviz; extra == "dev"
Requires-Dist: tqdm; extra == "dev"
Requires-Dist: pandas; extra == "dev"
Requires-Dist: matplotlib; extra == "dev"
Requires-Dist: pyyaml; extra == "dev"
Requires-Dist: notebook; extra == "dev"
Description-Content-Type: text/markdown

# Kompyle

Kompyle is a Python library providing an interface to several d-DNNF knowledge compilers.

---

## Installation

Kompyle can be installed using the following command:

    pip install kompyle

## Examples

A Jupyter notebook with usage examples is included in `scripts/` folder.
It demonstrates how to use Kompyle for compiling.

## License

Kompyle source code is licensed under the **Apache License 2.0** — see [LICENSE](LICENSE).

### Important notice regarding bundled libraries

This binary wheel bundles several third-party libraries. There are restrictions
beyond the Apache 2.0 license that users should be aware of:

- **PaToH** (compiled into `libmd4`) is licensed for **non-commercial and academic /
  research use only**. Commercial use requires a paid license from
  Ümit V. Çatalyürek (umit@gatech.edu). See
  [licenses/LICENSE-PaToH.txt](licenses/LICENSE-PaToH.txt) for details.

- **bipe** (compiled into `libmd4`) is licensed under the **AGPL-3.0**. The
  corresponding source is available at <https://github.com/crillab/d4v2>.

Full license texts and attribution notices for all bundled libraries are in the
[licenses/](licenses/) directory.
