The core framework for eaglehorn