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

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

Apache 2.0 - see LICENSE.

Name		Name	Last commit message	Last commit date
Latest commit History 97 Commits
.github/workflows		.github/workflows
assets		assets
cmake		cmake
docker		docker
include/kompyle		include/kompyle
python/kompyle		python/kompyle
scripts		scripts
src		src
tests		tests
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE		LICENSE
README.md		README.md
compose.yml		compose.yml
pyproject.toml		pyproject.toml