[tlaplus] Help with Advent of Code day 01

["migu...@xxxxxxxxxxxxxxxx" <miguelraz@xxxxxxxxxxxxxxxx>]

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.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/fa41ccee-b829-4bca-8b48-23a71d863bc2n%40googlegroups.com.