回答情况：
提问时间：
问题标签：
我正在尝试运行solver_manager_create方法，如optapy ()中的快速启动代码所示。SINGLETON_ID = 1solver_config\ .withTerminationSpentLimit(Duration.ofSeconds(60))
#error occurs in
浏览 8提问于2022-10-11得票数 0
回答已采纳
我用SciLab编写了一个解决sudoku问题的程序，但它只能解决总是有1种可能值的平方的sudoku。就像brainbashers.com上的简单和简单的sudoku。///////////////////////////////////////////////////////////////////////////////
浏览 1提问于2015-05-17得票数 1
回答已采纳
self.answer_cells[pos])
pass
prog.master.title('Sudoku Solver
浏览 0修改于2020-02-18得票数 2
我已经编写了一个数独求解器，它可以通过回溯解决任意NxN网格。代码：#include <stdbool.h>#include <stdlib.h> uint candidates;} Cell;
typedef struc
浏览 0提问于2018-08-19得票数 2
回答已采纳
我正在编写一个程序来解决sudoku的回溯问题。我现在用的是刀疤。我在递归算法中不断出错，我肯定做错了什么。欢迎任何帮助。//////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
浏览 1提问于2015-05-16得票数 1
回答已采纳
当我使用mk_solver_s ctx "QF_NRA"和mk_simple_solver初始化求解器时，我注意到了巨大的差异(这里的上下文是let ctx = mk_context [("model"通过使用mk_solver_s ctx QF_NRA，我比使用mk_simple_solver ctx (实际上，n是神经元的数量)有更多的可能激活；第一个模型没有考虑到我添加的一些约束。我想知道以下功能之间有什么区别：
mk_simple_solvermk_solver</e
浏览 1修改于2021-07-22得票数 0
我的问题是:在学习Prolog时，我想做一个NxN Sudoku解决程序。这个解算器将得到类似的输入其中一些可能是变量。解决者必须解决那个数独。问题要小得多： firstElementsOf([[X|_]|Rest2],Y) :- append([X],[Y2],NotFlat),这应该是检查的开始，如果每一列
浏览 3修改于2016-12-26得票数 2
回答已采纳
我试图使用Microsoft 2来解决一个相当复杂的情况，但是，即使我尽可能地降低模型，我仍然被UnsupportedModelException困住了。以下是重现问题行为所需的最少示例。var model = ctx.CreateModel();var decisionB = new Decision(D
浏览 3修改于2010-07-26得票数 1
回答已采纳
我已经写了我的第一个真正的C++项目，一个数独解决！虽然不雅致，但效果很好。它解决了简单和中等，但不困难！#include <iostream>#include <string>#include <cstring>
const char test[11] = {'e', '1', '2', '3', '4', '5&
浏览 0修改于2014-06-27得票数 6
回答已采纳
我的锻炼有问题。我需要找到给定sudoku的所有解决方案，使用叉/连接并行。我做了一个算法，但似乎不起作用。它在某一时刻停止了，我不知道为什么。private static int counter;private int i;private int theCounter = 0;
this.sudoku = sudoku;
public SudokuMulti(Cella[][] sudoku, in
浏览 3修改于2016-12-31得票数 0
回答已采纳
我正在尝试通过Visual Studio (C#或VB)使用Microsoft Solver Foundation SatSolver来解决一个简单的CNF问题。
浏览 3修改于2016-08-12得票数 1
这里是我用python语言编写的Sudoku，当我运行这个程序时，更新函数和解决函数似乎有问题。有谁可以帮我？
for i in range (9): if type (A[i][j]) == type ([]): print A[i][j][0], pr
浏览 0修改于2009-11-23得票数 1
我需要在python中使用scikits.bvp_solver。我目前使用Canopy作为我的标准Python接口，而这个包是不可用的。有没有其他可用的解决边值问题的软件包？
浏览 1提问于2013-10-25得票数 0
我正在查看Caffe LeNet教程，我想到了一个问题：self.solver.step(1)self.solver.net.forward() # train netsolver.step(1)不能自己做这个吗？
耽误您时间，实在对不起
浏览 6提问于2016-06-25得票数 6
回答已采纳
我用Python写了这个sudoku解算器。这是我的第一个实质性项目，我希望任何意见或反馈。import copy
cells = [cell() for i in range(81)] #creates a list of 81 instances of the cell() class. printboard(cells) printboard(cells)
"""This c
浏览 0修改于2018-01-07得票数 24
我创建了一个用于所有方向的单词求解器。它可以在水平方向、垂直方向和反向方向查找单词。然而，我在让它向所有方向发展时遇到了问题。所以把"hello“放在下面：x L p q有谁能教我怎么做吗？以下是我搜索单词的算法(在C++中)： * For loops that search each row, each column in all 8 possible directions.void Scramble::solve() {
cout << "Output:" << end
浏览 0修改于2011-05-02得票数 0
回答已采纳
这是一份张贴在这里上的作业。import java.util.*;
* Encapsulates a Sudoku grid to be solved. */
浏览 0修改于2014-10-13得票数 15
回答已采纳
SMT-Solver可用于约束求解。正如我们所知，CSP求解器也用于多年来的约束求解。那么，与CSP求解器相比，SMT-solver有什么优势呢？
浏览 6提问于2012-05-14得票数 8
下面的程序使用来自主git分支的最新版本的Z3 (提交89c1785b)生成一个无法打印的Z3模型(即，print solver.model()抛出异常)：a = ArrayBoolSort())print e
solver.add(e)
c = solve
浏览 1修改于2013-06-14得票数 1
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号