~pmikkelsen/APL-sat

very very simple sat solver in APL

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~pmikkelsen/APL-sat
read/write
git@git.sr.ht:~pmikkelsen/APL-sat

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