cl-sat.glucose

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

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

(ql:quickload :cl-sat.glucose)

---

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