I stumbled upon the cnf tag today while looking for new tags to watch or questions to answer. It really was not what I was expecting which is why I'm here.
The tag excerpt reads the following:
Common Navigator Framework - Eclipse platform provides this framework for tree based viewers
but the last question that would fit that description (as in being about the Common Navigator Framework even remotely) would be this one, posted in November 2017.
These days it seems the tag is almost exclusively used by (what I assume to be, from personal experience) Computer science students to ask about (Conjunctive) Normal Forms, with some exceptions I will list later.
So what is the tag used for?
At the time of writing, this tag has 68 questions, of which:
- 17 are on topic for the Tag Excerpt (about Common Navigator Framework)
- 41 are about Conjunctive Normal Forms, SAT Solvers or connected topics
- 9 are about .cnf files (MySQL's my.cnf is common here, but there are some others as well not related to MySQL)
- 1 I'm not sure about (this one), I'd assume it to be on topic for the tag though?
My proposed solution
I'm suggesting the tag to be removed in its current form as this ambiguity probably will continue with a cnf tag around. Or synonymizing it to conjunctive-normal-form. Input on this is welcome, I'm doing this for the first time.
So I will suggest:
Removing the cnf tag, and retagging:
- Questions about my.cnf -> Existing my.cnf where it isn't already applied
- Questions about .cnf-Files in general: Existing configuration-files
- Questions about Eclipse Common Navigator Framework -> New eclipse-common-navigator-framework
- Questions about Conjunctive Normal Forms -> Existing conjunctive-normal-form, adding sat, sat-solvers, and/or boolean-algebra where relevant
And, of course, closing and otherwise curating where necessary.
Some bonus points I found while researching:
- Closely related dnf had only one question mistagged for the Disjunctive Normal Form which I took the liberty of editing out
- sat and satisfiability probably need looking at, I can't imagine their distinctive tag excerpts to be followed but haven't looked into that yet.