On 08.12.20 22:19, migu...@xxxxxxxxxxxxxxxx wrote:
Hello all!This is my first attempt at seriuosly using PlusCal, and I'm trying to solve some small problems to warm up. I tried solving the first Advent of Code problem, but my PlusCal is quite rough.Any help ? The problem is, given a list, find 2 numbers that sum to 2020. ---- MODULE pcal ---- EXTENDS TLC, Integers, FiniteSets, Sequences (*--algorithm pcal variables Sum = 2020, Input = << 1511, 1112, 1958, 1778, 1769, 1946, 1800, 1911, 1821, 1886, 285, 1649, 1952, 1428, 1779, 1822, 1735;begin with x \in Input do with y \in Input \ {x} do assert x + y = Sum; end with; end with; end algorithm; *)
Hi,although TLA+ and not PlusCal, it perhaps helps to study the solutions of Arnaud Bos [1] and Thomas Bracher [2].
Markus [1] https://github.com/arnaudbos/aoc2020-tla-plus/tree/master/day1 [2] https://github.com/sadraskol/advent-2020/blob/main/Advent1.tla -- You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/5c8c328b-6e44-fc55-4d56-c0afe5cd5f0f%40lemmster.de.