cl-sat.glucose

LLGPL

CL-SAT instance to Glucose state-of-the-art SAT solver. This downloads the later 2014 version (2nd in the 2014 SAT competition).

$ area51 add cl-sat.glucoseコピー

使い方

;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(cl-sat.glucose:some-function ...)