Contact

The Nemo developers can be reached in a number of ways. We are happy to hear from you!

Reporting problems

The quickest way to alert us of a problem that you would like us to fix is to submit an issue in github. As usual, issues receive more attention and are fixed more quickly if they are written with care:

• Select a speaking title that hints at the problem (e.g., "Incomplete output when using negation" rather than "Wrong output")
• Provide a full description: what did you do? what did you expect to happen? what happened instead?
• Include a (minimal) example that shows the issue, if possible

General discussion

Feel free to use GitHub discussions to ask questions or talk about Nemo.

Email us

Nemo is developed at the Knowledge-Based Systems group of TU Dresden, headed by Markus Krötzsch. Our member page has all the current members and emails.