Help

FAQ

Why is my operator not recognized?

If you are getting an error about an operator not being recognized, check that you are using the correct syntax for the formulas. Might be that you are using brackets {} instead of parenthesis ().

Why does it say my program is unsafe?

You might get errors that the program is unsafe, this might be because of the externals generated on the transformation of the formulas. Make sure all variables in the operator appear in the body of the rule.

Why is my formula not shown?

Notice that only the formulas that appear in the rules (not nested) are shown in the output.

General Tips

Search bar

Use the search bar from this documentation page to find what you are looking for.

Examples

The examples tab might give you some insights into how to use the tool.

Debug logs

Use debug logs to inspect the internal process with --log debug

Further help

Open an Issue

Open an issue describing your problem.

Mailing list

Our mailing list might have some information about your issue. Search for questions made by previous users of the potassco tools.

You can also subscribe to this list to get updates and join the community. Or send an email to the list with your issue.

Search for existing issues

To avoid duplicating issues, please search our issue tracker and our mailing list before filing a new issue.

General ASP support

Support page

Take a look at the support page of Potassco.