benchmark.backtrack: some cleanup.

db4
John Benediktsson 2015-06-01 19:46:40 -07:00
parent 343e8d7b87
commit ec6e3c218c
1 changed files with 4 additions and 4 deletions

View File

@ -32,10 +32,10 @@ MEMO: 24-from-4 ( a b c d -- ? )
[ some-rots do-something 24-from-3 ] [ 4drop ] if-amb ;
: find-impossible-24 ( -- n )
1 10 [a,b] [| a |
1 10 [a,b] [| b |
1 10 [a,b] [| c |
1 10 [a,b] [| d |
10 [1,b] [| a |
10 [1,b] [| b |
10 [1,b] [| c |
10 [1,b] [| d |
a b c d 24-from-4
] count
] map-sum