runko
runko copied to clipboard
Drop Eigen3 support
Eigen3 as an external library is really not needed, so we should drop it.