SAT solver for tetravex
2016-08-23
0 0 0
暂无评分
其他
如何获取积分?
project for Theory of Computation class
we were asked to develop an SAT solver rules encoder for the Tetravex game, and this project is the answer.
it's written in java using eclipse, and make use of the "miniwrapper" SAT solver.
相关源码推荐
使用Java开发Android AOA Android开放式附件
0
0
暂无评分
Golang AOA Android开放式附件HID控制
0
0
暂无评分
pclite
0
0
暂无评分
GMSK线性接收机
0
0
暂无评分
传世AFT中变打金版版本--以前很火爆的,收藏很久
0
0
暂无评分
暂无评论