(load "useful.scm")
(load "constraints.scm")
(load "examples.scm")
(load "backtrack-dynamic.scm")
(load "min-conflicts.scm")