文件名称：阿联酋
文件大小：148KB
文件格式：ZIP
更新时间：2024-03-02 23:38:47
Rust
UASAT-RS 基于SAT求解器的计算器，用于离散数学和通用代数。 目标： 公式：多个域上的一阶句子（张量，无幂集） 小结构：元素是整数，运算和关系是张量 大型结构：元素是张量，运算和关系是公式 使用SAT求解器将大型结构变成小型结构 小代数的子代数/同余格是一个大集合半格 找到大满足半格的满足不可约元素，得到大格 将大型Galois连接（克隆）转换为小型Galois连接 种类：签名，公理，定理，结构验证能力 多态大结构（由整数或张量参数化）
【文件预览】：
uasat-rs-master
----.gitignore(43B)
----src()
--------alg()
--------core()
--------main.rs(899B)
--------math()
----LICENSE(34KB)
----Cargo.toml(681B)
----README.md(781B)
----deploy.sh(254B)
----docs()
--------index.html(2KB)
--------uasat.js(6KB)
--------uasat_bg.wasm(257KB)