【文件属性】:
文件名称:阿联酋
文件大小:148KB
文件格式:ZIP
更新时间:2021-02-11 05:52:07
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)