Coin Jam was solved using Picat by 1 contestant. Solution sizes: average 988 bytes (shortest: 217; longest: 1759).
Afazhou (S, L) (217 B)