there's a surprisingly small amount of stuff on doing optimization over bit vectors instead of vectors of reals. there's a bunch of stuff on SAT but that's not the same thing (I'm doing unconstrained optimization)

I'm probably going to write a bespoke optimization algorithm for my particular problem but doing that feels wrong, like I must be missing something