Package: plcrex
PLCreX - Simplification, Transformation, Analysis, and Validation of IEC 61131-3 Programmable Logic ControllersQuick linksReleases·Documentation·Quick Start·Key Features·Licenses·AcknowledgmentsQuick StartExplore the docs »Download Pythonv3.9[.url]Download IEC-Checkerv0.4via IEC-Checker's GitHub releases [.url]Download Kicodiav122798884via KIELER's Download page [.url]Download NuSMV symbolic model checkerv2.6.0via NuSMV's homepage [.url]Download Microsoft Build Tools 2015.urlInstall PLCreX via PyPI:pip install plcrexorInstall PLCreX via PLCreX's GitHub repository:install-windows.batActivate virtual environment (venv):run.bat[optional] Run local tests:coverage run -m pytest ./tests/ --verboseKey FeaturesUsage: plcrex [OPTIONS] COMMAND [ARGS]...

╭─ Options ──────────────────────────────────────────────────────────────────────────────────────────────────────╮
│ --version                                                                                                      │
│ --install-completion        [bash|zsh|fish|powershell|pwsh]  Install completion for the specified shell.       │
│                                                              [default: None]                                   │
│ --show-completion           [bash|zsh|fish|powershell|pwsh]  Show completion for the specified shell, to copy  │
│                                                              it or customize the installation.                 │
│                                                              [default: None]                                   │
│ --help                                                       Show this message and exit.                       │
╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯
╭─ Commands ─────────────────────────────────────────────────────────────────────────────────────────────────────╮
│ fbd-to-sctx              FBD-to-SCCharts Compiler (Data-Flow)    *.xml → *.sctx                                │
│ fbd-to-st                FBD-to-ST Compiler                      *.xml → *.st                                  │
│ fbd-to-st-ext            FBD-to-ST Compiler (extended)           *.xml → *.st                                  │
│ iec-check                IEC-Checker                             *.st → *.log                                  │
│ impact-analysis          I/O-Impact Analysis                     *.xml → *.dot                                 │
│ st-parser                ST-Parser                               *.st → *.dot/*.txt                            │
│ st-to-qrz                ST-to-Quartz Compiler                   *.st → *.qrz                                  │
│ st-to-scl                ST-to-SCL Compiler                      *.st → *.scl                                  │
│ st-to-sctx               ST-to-SCCharts Compiler (Control-Flow)  *.st → *.sctx                                 │
│ test-case-gen            Test-Case-Generator                     stdin → stdout                                │
│ xml-validator            XML-Validator                           *.xml → stdout                                │
╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯Explore the docs »Usage:python -m plcrex --helpAnalysis & ValidationDescriptionScriptVersionIEC-Checkerieccheck2.0.0I/O-Impact Analysisfbdia2.0.0ST-Parserstp2.0.0Test-Case-Generatortcgen4.0.0XML-Validatorxmlval2.0.0Transformation & SimplificationDescriptionScriptVersionFBD-to-STfbd2st2.0.0FBD-to-ST (extended)fbd2st2.0.0FBD-to-SCChartsfbd2x2.0.0ST-to-Quartzst2qrz1.0.0ST-to-SCLst2scl1.0.0ST-to-SCChartsst2scl1.0.0ModelsThe translations of the models are based on PLCreX's intermediate model*.pim:PackageDescriptionVersionstStructured Text1.0.2qrzQuartz Model1.0.1sclSequentially Constructive Language1.0.2LicensesPLCreX and its dependencies are licensed as follows:ToolVersionLicensePLCreX2.0.0GPLv3IEC-Checker0.4LGPL v3.0NuSMV2.6.0LGPL v2.1KIELER122798884Eclipse Public License (EPL)AcknowledgmentsInspiration, code snippets, etc.blark [v0.5.0]IEC-Checker [v0.4]