DivKC: A Divide-and-Conquer Approach to Knowledge Compilation

Content description: The divkc.zip file contains the code as well as instructions to build and run the executables. This file also contains the raw experimental data. The divkc_docker_image.tar.gz contains a pre-built Docker image that can be installed with docker load -i divkc_docker_image.tar.gz. The image should be loaded with 'docker load -i divkc_docker_image.tar.gz' The *_dataset.tar.gz files contain propositional formulae in CNF DIMACS format.