acl2-customization.lsp

;; Copyright (C) 2015, University of British Columbia
;; Written by Yan Peng (November 2nd 2016)
;;
;; License: A 3-clause BSD license.
;; See the LICENSE file distributed with this software
;;

(ld "~/acl2-customization.lsp" :ld-missing-input-ok t)
(ld "../smtlink/package.lsp")
(in-package "SMT")