Advent of Code 2025 - Day 10

Learning Resources Coding Challenges
,
12

There is no interface, Cure invokes z3 via Erlang port https://github.com/am-kantox/cure-lang/blob/main/src%2Fsmt%2Fcure_smt_process.erl