GitHub repository: minsungc/rsdd-dappl
Description: Performant and safe knowledge compilation in rust (forked for dappl experiments)