;;; This is set up to work in scmutils (mechanics) system

(with-working-directory-pathname (directory-pathname (current-load-pathname))
  (lambda ()

    ;; Infrastructure
    (load "tms")
    (load "constraints")

    ;; Common Constraint Types
    (load "equality-constraint")
    (load "boolean-constraints")
    (load "numerical-constraints")

    ;; Output Utilities
    (load "line-prefix")
    (load "proofs")

    ;; Equation handling (still in development)
    (load "handler")
    (load "solve")

    ))