
;; WARNING: DO NOT MODIFY THIS FILE DIRECTLY, IT'S GENERATED FROM ANOTHER FILE BY USING interpret_sulfa_file!

(in-package "SAT")
(program)

;; The reason that this is a generated file is so that we
;; can identify the directory that ths SAT solver is in.

(defconst *sexpr-sat-solver* "/v/filer3/projects-hunt/hvg/SULFA-dev/scripts/sexpr-sat-solver")

