(with-working-directory-pathname (directory-pathname (current-load-pathname))
  (lambda ()
    (load "tms")
    (load "constraints")
    (load "boolean-constraints")))