The libsol core libraries