cl-sat

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

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

(ql:quickload :cl-sat)

---

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