Blockchain, Ethereum, Simulation.
combines various optimization algorithms for sub-problems. Optimizing solver interface from vZ — an Optimizing SMT Solver by Bjørner et al. We completed experiments to assert whether the optimizing solver can be used to discover optimal trades according to a given price schedule, but unfortunately