brew install flyctl && fly launch --from https://github.com/es3n1n/bitwuzla-pythonic
curl -L https://fly.io/install.sh | sh && fly launch --from https://github.com/es3n1n/bitwuzla-pythonic
iwr https://fly.io/install.ps1 -useb | iex; fly launch --from https://github.com/es3n1n/bitwuzla-pythonic