Welcome to Anvil!
You can install arbitrary packages (I believe this needs a paid plan): š¢ New Beta: Install Any Python Package Instantly
Getting a solver binary to Pyomo would depend on how Pyomo needs to get those binaries. Do you pass a file name? Do you pass the binary contents of the file? Do you pass a URL? Each of those has ways you can manage in Anvil.
I suspect that you probably pass a file name/path. You could use the Data Files service to upload the file: š¢ New Feature: Easily Work with Large Datasets and ML Models!