Package: acheck
A tool support tool for inspection, validation and correction of behavioral annotations. For more information, visit the project website:https://github.com/vac-mmis/CausalAnnotationCorrectionThe tool requires Python 3.8 or higher.How to use it?Install the package using pip:$ pip install acheckAfter the installation, use:$ acheck check $domain.pddl $problem.pddl $annotation.csvBy default, it will automatically start a local server on127.0.0.1:9000.Options:-l $file_1 $file_2 $file_n: Enter one or multiple annotation files or the domain or problem file to lock them in editor$ acheck check domain.pddl problem.pddl anno_1.csv -l domain.pddl anno_1.csv-o $directory: Enter a custom directory for all output files.$ acheck check domain.pddl problem.pddl anno_1.csv -o project/output-p port: Specify theporton which the server is running.$ acheck check domain.pddl problem.pddl anno_1.csv -p 8000-v: Enable verbose output.-m directory: Enter a customdirectoryto load multiple annotations--nogui: For command line only use.--inplace: Work with the original files. For command line only use without backup.EnchantThe tool usespyenchantfor spell checking. It is a spellchecking library for Python, based on theEnchantlibrary. In order to work properly you will need to install the Enchant C library manually:MacOS:$ brew update
$ brew install enchantTo avoid problems, restart your system after installation.Linux:The quickest way is to installlibenchantusing the package manager of your current distribution.To detect the libenchant binaries, PyEnchant usesctypes.util.find_library(), which requiresldconfig,gcc,objdumporldto be installed. This is the case on most major distributions, however statically linked distributions (like Alpine Linux) might not bring alongbinutilsby default.To avoid problems, restart your system after installation.$ pacman -S enchant

$ sudo apt-get install enchant-2If you experience any issues, you may want to have a look at:https://pyenchant.github.io/pyenchant/install.htmlIt can happen that with the enchant installation, no providers are installed that enable the spell check.
For this you can install the desired provider yourself:$ pacman -S aspell

$ sudo apt-get install aspellAlso the desired languages can be installed in this way:$ pacman -S aspell-en
$ pacman -S aspell-de

$ sudo apt-get install aspell-en
$ sudo apt-get install aspell-deIf you experience any issues, you may want to have look at:https://pyenchant.github.io/pyenchant/install.html#installing-a-dictionaryThe standard language for the spell checker is English (en_US). You need to configure the language with the following command:$ acheck config -l $languageSupported languages (at the moment):en_USen_GBde_DEPlan ValidationIf you want to enable plan validation, you need to download theKCL Validator. Just follow the instructions on the GitHub page and download the binaries for you operating system.
To get to the download, just click on theAzure Pipelinesbutton at the beginning of theREADME.md. Save the binaries in a location that suits you.
After downloading, you need to configure the path to the validator executable file.bin/Validateorbin/Validate.exeIn order to use the plan validator correctly, stop the tool and set the path like:$ acheck config -v $path-to-validate-executableExamples:$ acheck config -v /Users/macos64/Val-20211204.1-Darwin/bin/Validate
$ acheck config -v /Users/linux/Val-20211204.1-Linux/bin/Validate
$ acheck config -v /Users/windows/Val-20211204.1-Windows/bin/Validate.exe