From nobody Mon May 12 20:59:28 2025 X-Original-To: pkg@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4ZxBmw4dHnz5vq3Z for ; Mon, 12 May 2025 20:59:28 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4ZxBmw3npPz40yV for ; Mon, 12 May 2025 20:59:28 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1747083568; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=r8r+VB4zJi7LayRBw7dYOxKwyKBkrigB1htZwvK+mBk=; b=t5/PMPCkwnmpijkd/Lr/SLCcxzVG7tz1dcIgxWCTEsLfks7aLe26dWKsnLYxFFM+ViU8aP esxXBjevm6L6RI9na0BRxXsLMJNKITW6m/WpPnX2x4NouYPgWlZDDHZrqlnnO7BT5izuB/ L46MRgXscnK3JQNOLNHwI6oVWUwUfNhBHdvECrCWH5h8Prd2onPK4+/B7IKvOEIAOjta1x 40iyyTIEJw7RLTRny1ggPIc4+lotb7EWQQZDyXT5VtZV9lwELVHfJY83IvPGJREoxV2e55 FeVQlrSfYpPYFiDebhEqzDXW3LlbfW4o/CLThzUt05Yd52Yj51XhiGPVnHZpNQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1747083568; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=r8r+VB4zJi7LayRBw7dYOxKwyKBkrigB1htZwvK+mBk=; b=nOTsiawrEPr8fxLoXdGvuxB+L8l2gQJzGVPaqQezCkjneBidpB5gXkJBNSo1Zt7ITPuY3L SqLyTJr32V1M8AbQWE7tDDKczZiaYZlIQNWXEdkPw2pFRCNCfpSrojtt3Q8Koj8C6XUqpE N5+XDTe6iDS2bqZFu4OzH/HMflZsoHQBL/k4+FQpJSN0UlGHj+Rl28tNYoeifcrHa0P/gM S16YS4fGQeQKCX9borsSlBV8SE3IVHFRT4YDx7Ec4FsWSecduu4EV+n1kb68tVINaw35Dp zo5GsfS47VCKV3UEVlXxGhdrm37t8o0S1D8sk8AYphrxGpVz7Pzlm1X483RPpA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1747083568; a=rsa-sha256; cv=none; b=WkMf4iG6OjbbhFKwev2PzwqiTPiMxnOOpFa2bMkrWmbBCbNUD6bKhGTtIIVzxTf0v3VdgT TkVAp8Jur3N+EJ+UqAXElOTOA8pNghPoXWcq80nWUZF2TXwkKwXne+v89sQtXEyMBDBUFU OmqkiJSgmEmwJ1oR8f264XW4epP+hSjkeJ4VYZQwPgb/aEA1LINbYqrJIJkRQU+aVBxjkG BIX6miQhnf3bXNIKAxtJNFmTDGUhyX5sy32TYkZJoULGfVJBsgWMxj1JX1F7a2UkOT8jJ/ H9ygyXjQzjR55QHeiNThfYmwMPAXIGUfYBVOY0/aUmwOWjmEkWQhcknvhl9hbw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4ZxBmw2zppz25Z for ; Mon, 12 May 2025 20:59:28 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org ([127.0.1.5]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id 54CKxSxt064191 for ; Mon, 12 May 2025 20:59:28 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 54CKxSE8064190 for pkg@FreeBSD.org; Mon, 12 May 2025 20:59:28 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: pkg@FreeBSD.org Subject: [Bug 286740] ports-mgmt/pkg: 2.1.2 Cannot solve problem using SAT solver, trying another plan Date: Mon, 12 May 2025 20:59:28 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: marklmi26-fbsd@yahoo.com X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: pkg@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated List-Id: Binary package management and package tools discussion List-Archive: https://lists.freebsd.org/archives/freebsd-pkg List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-pkg@FreeBSD.org MIME-Version: 1.0 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D286740 --- Comment #7 from Mark Millard --- (In reply to p5B2EA84B3 from comment #6) Also having a prefix indicating the informational status that bapt has noted here could work, say something like: Informational note: Could not solve the dependency constraints via the minisat "SAT solver", so trying a different way of handling the dependency related ordering. It may well be that minisat is non-determistic in some of its techniques for exploring the solution space. (Also fits with dependency constraints commonly having multiple distinct solutions that are valid to find.) This can make judging the consequences of interventions rather difficult: randomness would also be involved. Overall: To my knowledge no one knows a way to avoid the NP-complete nature of the problem from sometimes having consequences one would otherwise want to avoid, including some uncertainty. Saying that there should be no such problem does not provide any known technique to provide what is requested that does not get back into a NP-complete issue as far as I can tell. Thus, my emphasis on potential improvements in the message, improvements that are tied to the limited information available in the software for the NP-compete problem. It also may be that a man page needs to present information and a reference to such be in the messages produced at run time. It is not a simple context. Note: If bapt reports differently for anything, he has far more context than I do. Without explicit evidence otherwise, believe bapt generally, not me. --=20 You are receiving this mail because: You are the assignee for the bug.=