| layout | title | menu | weight | permalink |
|---|---|---|---|---|
page |
Support |
main |
5 |
/support/ |
- Be sure to take a look at the documentation page especially the getting started page.
- Check our FAQ.
- If you think you found a bug,
please take the time to report it using the issue trackers of the respective projects:
- clingo issues
- clasp issues
- website issues
- or find the project among the Potassco gits
- You can also sign up to our mailing lists hosted on sourceforge. The potassco-users list is for all kinds of questions about our tools and the potassco-announce list is a read-only low frequency list where we announce new releases. Also check the potassco-users archive, maybe your question already has an answer.