This module uses logic programming (ASP) to generated ASP descriptions automatically that are processed by an ASP solver. It translates directed graphs to ASP in order to verify locally the workflow after changes are performed.
-
Notifications
You must be signed in to change notification settings - Fork 0
DiCORE Change Impact Analysis ASP Module
License
di-core-systems/dicore-cia-asp
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
DiCORE Change Impact Analysis ASP Module
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published