You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
SAT solvers don't cope well with "give me the most up to date solution", try aspcud instead
> "CUDF permits to describe an upgrade scenario in a way that is both distribution-independent and package-manager-independent" This isn't anywhere near as expressive as Gentoo packages (e.g. no USE flags, subslots, or anything like that).
In any case using an ASP solver instead of a SAT solver might be a good idea. Similar algorithms, but ASP natively handles some constraints that are almost impossible to efficiently represent as CNF. E.g. Excluding circular dependencies unless at least one of them is required.
(I don't have much experience with ASP or solving pkg dependencies, but I've ran into such kind of constraints, and handling them with a SAT solver at all without generating huge formulas requires at least some kind of non-trivial incremental usage.)
you can translate USE flags to fake packages (which is what opam ecosystem effectively does) though
oh god and then use flag constraints as conflicts... yeah, I guess that works? not so sure about subslots though... that's not a package set constraint, it's a rebuild constraint.... though maybe that can be treated as a separate postprocessing problem?
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
