https://github.com/aig-hagen/argumentation_ltl_solver

https://github.com/aig-hagen/argumentation_ltl_solver

Last synced: 8 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/aig-hagen/argumentation_ltl_solver
• Owner: aig-hagen
• Created: 2023-10-28T13:17:16.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-04-17T09:45:18.000Z (9 months ago)
• Last Synced: 2024-11-13T11:41:54.599Z (2 months ago)
• Language: C++
• Size: 4.88 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# ltl-argumentation-solver v1.0 (11-2023)

Compile via

```

    ./build.sh

```

Implements the problem DS-PR and supports the

i23 format for abstract argumentation frameworks. 

Currentl< only creates a nuSMV-encoding of the problem that can be handed to a nuSMV solver.

Example usage:

```

  ./ltl-solver -p DS-PR -fo i23 -f  -a 

```