Kompyle is a Python library providing an interface to several d-DNNF knowledge compilers.
Kompyle depends on many c++ libraries that are not available in standard OS package managers. The easiest way to get a working environment on any platform (windows, macOS, Linux) is via containers.
Install a container runtime such as Docker Desktop, Docker Engine, or Podman.
git clone https://github.com/ML-KULeuven/kompyle
cd kompyle
podman-compose build dev
podman-compose up -d dev
podman-compose exec dev bashInside the container the repo is mounted at /workspace, so any edit you
make on the host is immediately visible.
[root@956fe8c8ad0b workspace]# python -m venv .venv
[root@956fe8c8ad0b workspace]# source .venv/bin/activate
[root@956fe8c8ad0b workspace]# pip install ".[dev]"
[root@956fe8c8ad0b workspace]# pytest tests/
[root@956fe8c8ad0b workspace]# nvimIf you prefer to work natively, install the c++ dependencies by following
the script build_deps.sh.
Apache 2.0 - see LICENSE.