A solution to problem A2 of the 21st International Mathematical Olympiad. For more info see https://www.functor.nl/blog/posts/2013-12-22-puzzle-clojure-core-logic.
A solution to problem A2 of the 21st International Mathematical Olympiad. For more info see https://www.functor.nl/blog/posts/2013-12-22-puzzle-clojure-core-logic.