Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more

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.