Lib.rs
›
用户
#
回溯
#
SAT求解器
ahirner
亚历山大·希纳
3年前加入crates-io。10年前加入GitHub。
GitHub
crates.io
主页 (moonvision.io)
维护者仪表板
GitHub组织成员
月愿景
ahirner创建了2个软件包
backtrack
自2021年3月起为唯一所有者。最后更新3年前。
backtrack-rs
自2021年2月起为唯一所有者。