~pmikkelsen/CDCL-apl