raw-validity

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

安装

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

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

在终端中运行它的好处主要是额外的详细输出，这可以告诉你算法在哪个步骤卡住了，而网络应用程序则会在得到答案之前看似死掉。