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).
5 days ago
-
Comment
-
Hide
-
-
[ 1 ]
-
[ 0 ]
- (Edit | Remove)
- More...
5 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)
La prima parte l'ho fatta a forza bruta, generando tutte le possibili pressioni di un bottone, due bottoni, tre bottoni, ecc, fino a che non trovavo il risultato corretto. La seconda è lì che aspetta...
-
zar
-
[ 0 ]
-
[ 0 ]
- (Edit | Remove)
