raw-validity

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

安装

安装Rust并在此仓库的克隆中运行cargo run。为了提高速度，可以

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

在终端运行它的主要好处是额外的详细程度，这可以告诉你算法在哪个步骤卡住了，而web应用在没有答案之前看起来就像死了一样。