raw-validity

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

安装

安装Rust并在此仓库的副本中运行 cargo run。为了提高速度，请

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

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