;;;; amb-test.scm  -*- Scheme -*-
;;;; Kon Lovett, Jul '18

(import test)

(test-begin "Amb")

;;;

(import scheme
  (chicken base))

(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))

(include "../amb-sat-solve")
(test "amb-sat-solve"
  '(#f #f #t)
  (sat-solve))

(include "../amb-pythagorean")
(test "amb-pythagorean"
  '(4 3 5)
  (pythagorean))

;;;

(test-end "Amb")

(test-exit)