Crustabri

Crustabri 是一个 RUST 抽象论证推理实现。

此项目包含一个库和两个二进制文件。该库允许创建和修改静态和动态论证框架，并对其执行查询。第一个二进制文件 crustabri 允许对输入论证框架进行各种操作。输入 crustabri -h 以获取可用子命令的描述，以及 crustabri <SUBCOMMAND> -h 以获取给定子命令的帮助。第二个二进制文件 crustabri_iccma23 是 Crustabri 的包装器，以便与 ICCMA'23 竞赛 的要求兼容。

许可证

Crustabri 在 CRIL（Artois 大学 & CNRS）开发。它根据 GNU GPLv3 许可证提供。

lib.rs:

Crustabri 是一个 RUST 抽象论证推理实现。

此库提供了用于处理论证框架并对其执行查询的数据结构和函数。查看以下示例以获取概述，并浏览此文档以了解其功能。

示例

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");
}