# [tlaplus] Help with Advent of Code day 01

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; *)

--
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.