Expand description
Solvers dedicated to problems related to Abstract Argumentation frameworks.
Structs§
- Complete
Semantics Solver - A SAT-based solver for the complete semantics.
- Grounded
Semantics Solver - A solver used to solve queries for the grounded semantics.
- Ideal
Semantics Solver - A SAT-based solver for the ideal semantics.
- Preferred
Semantics Solver - A SAT-based solver for the preferred semantics.
- Semi
Stable Semantics Solver - A SAT-based solver for the semi-stable semantics.
- Stable
Semantics Solver - A SAT-based solver for the stable semantics.
- Stage
Semantics Solver - A SAT-based solver for the stage semantics.
Traits§
- Credulous
Acceptance Computer - A trait for solvers able to check the credulous acceptance of an argument.
- SatEncoder
- A trait for argumentation solvers relying on SAT solvers.
- Single
Extension Computer - A trait for solvers able to compute an extension.
- Skeptical
Acceptance Computer - A trait for solvers able to check the skeptical acceptance of an argument.