Lib.rs

› 关键字 #union-find #closures #congruence-closure #unification #extracted #rustc

#congruence

  1. ena

    并查集、同构闭包和其他统一代码。基于 rustc 的代码。

    v0.14.3 801K #union-find #unification #closures #congruence #rustc #congruence-closure #extracted

  2. modular_equations

    解二次和线性模方程的程序

    v1.0.5 #modular-arithmetic #congruence #linear-equations #quadratic-equations #integer

  3. acm_dependent

    依赖于 arithmetic_congruence_monoid 库的项目，用于处理算术同构モノイド (ACM)

    v0.1.0 #monoid #arithmetic #acm #congruence #dependent

  4. euc_lib

    扩展和标准欧几里得算法的简单实现

    v0.4.0 #euclidean #extended #euc #lib #finding #congruence #multiple

  5. acm

    Rust 中算术同构モノイド的实现

    v0.1.4 #monoid #arithmetic #congruence #factorization #integer #progression #factor

  6. randish_rs

    使用 LCG 生成可预测的随机数

    v0.1.0 #random #congruence #linear #lcg

    7. 尝试使用 DuckDuckGo 搜索。

  7. 同构

    闭包

    v0.4.0 #disjoint-set #closures #node #union-find #forest #traits #proof