cl-sat.minisat

https://github.com/guicho271828/cl-sat.minisat.git

git clone 'https://github.com/guicho271828/cl-sat.minisat.git'

(ql:quickload :cl-sat.minisat)

---

(52 48 52 58 32 78 111 116 32 70 111 117 110 100 10)