From nobody Mon May 12 15:58:31 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 4Zx45g2Wspz5wCMx for ; Mon, 12 May 2025 15:58:31 +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 4Zx45g1yRbz4HWk for ; Mon, 12 May 2025 15:58:31 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1747065511; 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=58Oi+u/tWp2inhzGsdS7ok3GnXDD+X1AdkhJY+Q6MRI=; b=Hrzwu+eMN1Mtq8cZ8vcp3zbo69CvZwOd4+D1OQlGs0l+QXjgqdwPCLNXaC+Q+8QU+2x3dy nqGIfsI+THLpkGWDJej1aOV02n2+Xo1PBE5q8sfWVDzY8geHmppG73KLZkweXy8u1k3st8 oqisHFOxVH4zTeY+HxpK0o1ZkVjcb5mpXYi0EMrdD5wts2f/nG8RVx7oI+8ZhfWDVRaysf lVbkr5QkaRITXaa7gGvxxKIvgC1FFNxiPO0BdUSmtvDtSPCX1NhSlsnNRy1+roXqqCsSrh iviSxk0UWBvK9nktR7KqHJ3C3BrNIOpsel4mElUkv6pB/WtBI3blY/MbnIjHfQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1747065511; 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=58Oi+u/tWp2inhzGsdS7ok3GnXDD+X1AdkhJY+Q6MRI=; b=iqMwpFK6D9Ejwj8ojXUfvCTBVNajbSXgU3iauLA3cFBJ5fdUO3B4ivpS5U21LIX/DKXrcr bJpF33CcXYUToDDp8mU+HBzf7K5/B6CxfTPtJsUuuesxCN+8QM9f6WdOEsCDdWFsQ7QPa5 d1IIf8159HiPKPE06nkxpMa6oIAf/Sx+RjxxpuEILVTAP6M4Z0ZrtdDfrUoorFIRmW2OdP B5JXxHk14fvAkNGghL1q71yxxiE5ngsDmxM3ySSXiDuG8HiZj0+fuXshuNy6aK41YJHq0d R7RMfBcAJbwaq2DlH8RbCEwrZSrFRaHY7yJAAMkkSpKG5PYmiOtG9ple805gag== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1747065511; a=rsa-sha256; cv=none; b=iU6ELBiLd1VFRq5nRXBA+dJ+1IN9VFukEpyz+0rL7eCSEAdyIffsirXUkkARuyx3OR7842 CUhvvqdM39CbzHCRLJMMTpAEOZDQ/htS26tE6oWjvKvwbqspIEZczJvnK8dB7RUtsi2yWb bLmnjz8y/nb5qKhMKCk3ompj1j3gIch2qXnYBDJzsiVw2M+vUYcNSb3WLYbCrM2eb7RVUy cEfO/z3EKbcjC3O13AyNm2NtgtHddi3A1PO7/7TiA5wBlLc+2ZZ/SnC3PqgAcmi1k7CTVU gp01Op4nCufRXufQi34vrY7DL/kP3EfKDYIg8dcb4J+FuhnFvwy31gh774jAUQ== 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 4Zx45g1Yf1z1Lrq for ; Mon, 12 May 2025 15:58:31 +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 54CFwVHk041215 for ; Mon, 12 May 2025 15:58:31 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 54CFwV9D041214 for pkg@FreeBSD.org; Mon, 12 May 2025 15:58:31 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 15:58:31 +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: cc 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 Mark Millard changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |marklmi26-fbsd@yahoo.com --- Comment #5 from Mark Millard --- (In reply to p5B2EA84B3 from comment #3) The Boolean Satisfiability Problem was the first to be proven to be nondeterministic polynomial-time complete (Np-complete): the Cook=E2=80=93Levin theorem. It is still not known if such problems can be always be solved in polynomial time. So, as stands, there is no known general fix that would always complete in a reasonable time frame. It is unlikely that having some "SAT solver" failures problem will complete go way any time soon. Knowing of a failure to find an example that satisfies the dependency constraints might be needed to help explain any oddities associated with what then happens. To try to always give reasons for such a failure likely end up back in the NP-complete type of problem issue. I might suggest the wording not rely on folks guessing what "SAT solver" refers to or is for. More like, say: Could not solve the dependency constraints via the minisat "SAT solver", trying another plan which may at least be more suggestive to more folks reading it. Lack of such a message implicitly indicates that the dependency constraints were proven satisfiable by by minisat providing an example solution. (This avoids output for most usage of minisat.) In other words: I find the message useful but that it could be made less dependent on some jargon . --=20 You are receiving this mail because: You are the assignee for the bug.=