| Potassco | Potassco on Github | Clingo |
This Extension uses Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam). We added multi-file support with v0.4.0!
If you have any suggestions for a new feature or anything else please E-Mail me: frankreiter@uni-potsdam.de
Just right click anywhere on a logic program (.lp) file and select > Compute all Answer Sets or > Compute the first Answer Set.
A new Terminal will open with the results!
If you want to add additional startup arguments you can use the > Compute Answer Sets (config.json) option.
First generate a sample config.json file with the ASPLanguage: Initialize clingo config file in current working directory command (Press Ctrl+Shift+P).
This will create a config file with all supported arguments/settings in your current working directory. If you want to use your own config file, just change the config file name in the extension settings. Additionally you can use arguments not directly supported by the config.json by passing them in the "customArgs" setting as a String.
You can also specify additional files to interpret in this config using the relative path from the current working directory.
See the Clingo Documentation for more details on the config settings!
If you want to use your own Version of Clingo from PATH with this extension, please enable "Use PATH Clingo" option in settings!
For the extension to work properly, please install the Answer Set Programming syntax highlighter by abelcour (abelcour.asp-syntax-highlight)
This extension contributes the following settings:
ASPLanguage: Select Operating System: Select your Operating System, so the currect clingo version is used! (default: Auto)ASPLanguage: Terminal Mode: Select if you want a new Terminal after every execution! (default: False)ASPLanguage: Use PATH Clingo: Set this option if you would like to use the Clingo version from your PATH instead of the version included! (default: False)ASPLanguage: Turn Messages Off: Set this option if you want to turn off all Messages (bottom right)! (default: False)ASPLanguage: Set Config: Set a .json file if you want to use a specific config file for clingo (default: empty)This extension contributes the following features:
> Compute all Answer Sets: Get all answer sets for the current logic program file!> Compute the first Answer Set: Get the first answer set for the current logic program file!> Compute Answer Sets (config.json): Compute answer sets using the clingo configuration from a config file