;;;; package.lisp

(defpackage #:vampire
  (:use #:cl))