raw-validity

这是一个程序，使用 Almudena Colacito 和 George Metcalfe 开发的算法检查 l-群方程和不等式的有效性（在命题 2 之后描述）。试试这个 网络应用。

安装

安装 Rust 并在克隆的此仓库中运行 cargo run。为了获得更高的速度，请执行

cargo build --release
cd target/release
chmod +x exec
./exec

在终端中运行它的好处主要是额外的详尽性，这可以告诉你算法在哪一步卡住了，而网络应用则只有在有答案之前才会显得死气沉沉。