Script started on Mon Nov  5 14:47:21 1990
tain% njml
Standard ML of New Jersey, Version 0.44a, 13 December 1989
val it = () : unit
- use "nq";
[opening nq]
val neq = fn : ''a * ''a -> bool
val nq = fn : int * int -> int * int -> bool
val check = fn : ('a * 'b -> 'c * 'd -> bool) -> 'a * 'b -> ('c * 'd) list -> bool
val print_pos = fn : int * int -> unit
val print_nq = fn : (int * int) list -> unit
val bt = fn : int -> int -> (int * int) list -> unit
[closing nq]
val it = () : unit
- bt 1 6 [];
(6,5)(5,3)(4,1)(3,6)(2,4)(1,2)
(6,4)(5,1)(4,5)(3,2)(2,6)(1,3)
(6,3)(5,6)(4,2)(3,5)(2,1)(1,4)
(6,2)(5,4)(4,6)(3,1)(2,3)(1,5)
val it = () : unit
script done on Mon Nov  5 14:48:18 1990