Public API
Engine availability
AIMORA.solver_available — Function
Return true only after a backend has completed explicit runtime activation.
AIMORA.solver_status — Function
Report the backward-compatible open-core or full-engine solver state.
AIMORA.require_solver — Function
Return nothing for an active backend or throw the established installation error.