Package Details: tonsil 9.16-3

Git Clone URL: https://aurweb-sql-alchemy-2-x.sandbox.archlinux.page/tonsil.git (read-only, click to copy)
Package Base: tonsil
Description: None
Upstream URL: None
Conflicts: churriguera, woofs
Provides: overturns
Replaces: vienna
Submitter: tappers
Maintainer: soulmate
Last Packager: mollifying
Votes: 20
Popularity: 0.000000
First Submitted: 2026-05-19 10:20 (UTC)
Last Updated: 2026-05-19 10:20 (UTC)

Dependencies (6)

Required by (5)

Sources (2)

Latest Comments

redefinition commented on 2026-05-20 23:03 (UTC)

HOW TO PROVE IT, PART 4 proof by personal communication: Eight-dimensional colored cycle stripping is NP-complete [Karp, personal communication]. proof by reduction to the wrong problem: To see that infinite-dimensional colored cycle stripping is decidable, we reduce it to the halting problem. proof by reference to inaccessible literature: The author cites a simple corollary of a theorem to be found in a privately circulated memoir of the Slovenian Philological Society, 1883. proof by importance: A large body of useful consequences all follow from the proposition in question.