The Gradient of Algebraic Model Counting Installation First, make sure you have Python and Rust installed. Next, you can install kompyle using pip install . Paper To replicate the experiments of AAAI paper, see the aaai folder.