Crate crustabri

Crustabri is a RUST ABstract argumentation Reasoner Implementation.

This library provides datastructures and functions used to handle argumentation frameworks and to execute queries on them. Take a look at the example below to get an overview, and browse this documentation to see its capabilities.

Example

let labels = vec!["a", "b", "c"];
let arguments = ArgumentSet::new_with_labels(&labels);
let mut framework = AAFramework::new_with_argument_set(arguments);
framework.new_attack(&labels[0], &labels[1]);
let mut solver = StableSemanticsSolver::new(&framework);
let opt_ext = solver.compute_one_extension();
if let Some(ext) = opt_ext {
    println!("found an extension: {:?}", ext);
} else {
    println!("the problem has no stable extension");
}

Modules

• aa
  This module contains the main material used to define Abstract Argumentation frameworks and their related problems.
• dynamics
  Specs and solvers dedicated to dynamic argumentation frameworks.
• encodings
  Objects used to encode semantics into SAT solvers.
• io
  Objects used to read and write Argumentation frameworks and answers to problems.
• sat
  SAT solver interfaces for Abstract Argumentation solvers.
• solvers
  Solvers dedicated to problems related to Abstract Argumentation frameworks.
• utils
  Miscellaneous components used in the library.