Byt-wyze-technology/Byt-wyze-technology

• 类型：github
• 标识：Byt-wyze-technology/Byt-wyze-technology
• 链接：https://github.com/Byt-wyze-technology/Byt-wyze-technology
• 主题：evaluation
• 主分类：engineering
• 形态：tool
• 分类：academic-writing
• Stars：1
• 周增：+0
• 语言：Python
• 许可：Apache-2.0
• 最近提交：2026-08-18
• 简介：Deterministic SAT APIs, CNF preprocessing tools, and reproducible research standards.
• 上次采集：2026-08-19
• 首次采集：2026-08-19
• 学术状态：accepted
• 学术阶段：research
• 学术主任务：reproducibility
• 学术方向：misc
• 学术用途：research-design
• 学术相关度：85
• 学术判定：deterministic
• 学术证据：anchor:research; query:reproducible-research; task:reproducibility:reproducible research; task:reproducibility:reproducibility
• 学术复核时间：2026-08-19T01:30:02+08:00
• 待LLM分类：否
• 成熟度：experimental
• 简介中文：确定性 SAT API、CNF 预处理工具与可复现研究标准。
• 场景：sat solver、cnf preprocessing、reproducibility
• 来源文件：
• [GitHub Search]