A method for managing a software package, including: accessing a request to process one or more package definitions in relation to a data repository which retains package definitions, wherein the one or more package definitions is associated with the software package; determining a status of an assertion that indicates either a completed assertion or an incomplete assertion; if the status is determined to be the incomplete assertion, then determining requirements for the software package to be configured for the hyper-converged appliance; attempting to find a match for the assertion in a pool of known resolvable assertions, wherein the match will allow the assertion to be resolved through accessible provisions and thereby fulfill the requirements; if the match is found, then using the accessible provisions to resolve and thereby complete the assertion; and if the assertion is completed, continuing an installation process of the software package.