Questions about Software/Programs/Applications used by TCS researchers
Used for questions about softwares and applications, e.g. softwares used for managing bibliography, version control, or SAT solvers.
This tag should not be used for question related to software engineering.
The questions should be in the scope of the site as explained in the FAQ.