~pmikkelsen/CDCL-apl

Conflict driven clause learning (SAT) in APL

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~pmikkelsen/CDCL-apl
read/write
git@git.sr.ht:~pmikkelsen/CDCL-apl

You can also use your local clone with git send-email.