convert output.gif -filter point -resize 600% output_resized.gif
The original implementation was very slow, and it's still quite slow. Here are scattered notes on profiling:
Enable:
[profile.release]
debug = true
Build a release build:
cargo build --release
Install flamegraph-rs and linux (Pop!_OS. See flamegraph-rs readme for other os instructions) deps:
sudo apt install linux-tools-common linux-tools-generic
cargo install flamegraph
Build a flamegraph:
flamegraph -- ./target/release/wfc-rs ./input/city.png -o 40,20 -t 3,3