替代玩具卫星:作为ersatz后端的toysat驱动程序

版本[RSS（RSS）]	0.2.0.0,0.2.1.0,0.2.2.0
依赖关系	阵列(>=0.4 && <0.6),基础(>=4.6 && <4.17),容器(>=0.4.2.1 && <0.7),人造的(>=0.3 && <0.5),玩具解决者(>=0.2.0 && <0.9.0),变压器(>=0.3 && <0.6)[细节]
许可证	BSD-3条款
版权	（c） 2014酒井雅弘
作者	酒井雅弘
维护人员	masahiro.sakai@gmail.com
修订过的	第2次修订制造商Masahiro酒井在2022-08-22T15:18:06Z
类别	逻辑,算法
主页	https://github.com/msakai/ersatz-toysat网站
源回购	头部：git克隆git://github.com/msakai/ersatz-toysat.git
已上传	通过Masahiro酒井在2017-10-02T03:35:16Z
分配
反向依赖关系	1直接，0间接[细节]
可执行程序	代用玩具卫星-sudoku
下载	总计2740人（过去30天内有9人）
额定值	（尚未投票）[估算人贝叶斯平均]
您的评分	λ λ λ
状态	可用文档[生成日志] 上次成功报告时间：2017-10-02[所有1个报告]

ersatz-toysat-0.2.2.0自述文件

作为ersatz后端的toysat驱动程序

的内容示例/目录从ersatz包复制并修改为使用toysat驱动程序作为后端。