;;;; amb test
(use test)

(test-begin "amb")

(include "../amb-kalotan")
(test "kalotan"
  '(female male female)
  (solve-kalotan-puzzle))

(include "../amb-money")
(test "amb-money"
  '(9 5 6 7 + 1 0 8 5 = 1 0 6 5 2)
  (caddr (solve-money-puzzle)))

(include "../amb-dwelling")
(test "amb-dwelling"
  '((baker 3) (cooper 2) (fletcher 4) (miller 5) (smith 1))
  (solve-dwelling-puzzle))

(test-end "amb")