mfdela
to
dewdney-ita
[AOC Day 10] La parte 1 facile. Per la parte 2 ho dovuto sbirciare. Ho implementato BFS che ovviamente era troppo lenta, brew install z3 e passa la paura (per scrivere il codice di imput di z3, confesso ho usato claude).
[AOC Day 10] La parte 1 facile. Per la parte 2 ho dovuto sbirciare. Ho implementato BFS che ovviamente era troppo lenta, brew install z3 e passa la paura (per scrivere il codice di imput di z3, confesso ho usato claude).
10 hours ago
-
Comment
-
Hide
-
-
[ 1 ]
-
[ 0 ]
- (Edit | Remove)
- More...
2 other comments...
Comment
Esempio di codice z3 per la prima riga dell'input di esempio. https://gist.github.com/m...
-
mfdela
-
[ 0 ]
-
[ 0 ]
- (Edit | Remove)
Ah ah ah! :-D
-
Marco Delmastro
-
[ 0 ]
-
[ 0 ]
- (Edit | Remove)
