Resolved backtrack_loop()

in include/poac/core/resolver.hpp [240:258]

• 18 lines of code
• 4 McCabe index (conditional complexity)

    Resolved backtrack_loop(const Activated& activated) {
        const auto clauses = create_cnf(activated);
        // debug
        for (const auto& c : clauses) {
            for (const auto& l : c) {
                int index;
                if (l > 0) {
                    index = l - 1;
                }
                else {
                    index = (l * -1) - 1;
                }
                const auto ac = activated[index];
                io::cli::debug(ac.name, "-", ac.version, ": ", l, ", ");
            }
            io::cli::debugln();
        }
        return solve_sat(activated, clauses);
    }