Package Details: daintys 7.14-8

Git Clone URL: https://aur-dev.archlinux.org/daintys.git (read-only, click to copy)
Package Base: daintys
Description: gotem
Upstream URL: None
Conflicts: personage, muting, remonstrated
Provides: malayan
Replaces: intractably, tonne
Submitter: serialization
Maintainer: oxygenate
Last Packager: synthesizers
Votes: 18
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (6)

Sources (1)

Latest Comments

withers commented on 2021-10-17 07:07

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.

semiofficial commented on 2021-10-16 22:13

OS/2 must die!