开发者 Dero Gharibian

基于数独解算器的 SAT 解算器（MiniSat）。 使用户能够通过所有可能的解决方案进行迭代。 使用本机代码;在 G1/ADP1 上测试。