miniSAT求解器
MiniSAT是简约的求解器,开源的布尔可满足问题求解器。由研究人员和开发人员共同研发。并得到麻省理工大学的许可并发布。给SAT求解器一个逻辑命题,包含与或非逻辑符号以及若干布尔变量,SAT求解器根据这个表达式判定该逻辑命题是否可满足从而决定该命题是否成立。如果可满足,SAT求解器(包括MiniSAT)得到结果判定命题公式集是真的。很多问题都可以转换成SAT求解问题,并利用现有的SAT求解器,方便给出问题的所有答案。
用户评论
推荐下载
-
一个求解器cvx的源代码
一个求解器的源代码,学习压缩感知的可能会用到
21 2019-02-11 -
结构力学求解器教程袁驷版
结构力学求解器(SMSolverforWindows)是一个面向教师、学生以及工程技术人员的计算机辅助分析计算软(课)件,其求解内容包括了二维平面结构(体系)的几何组成、静定、超静定、位移、内力、影响
39 2019-05-16 -
结构力学求解器2.5破解版
结构力学求解器(StructuralMechanicsSolver,简称SMSolver)是一个面向教师、学生以及工程技术人员的计算机辅助分析计算软件,其求解内容包括了二维平面结构(体系)的几何组成、
12 2019-05-16 -
基于遗传算法的数独求解器
基于遗传算法的数独求解器
19 2019-05-13 -
结构力学求解器2.6最新版
结构力学求解器,学生版,最新版,已注册正版
26 2019-07-27 -
多项式以及方程组求解器
多项式以及方程组求解器真的好用,用了你就知道了相信群众的眼睛!
38 2019-12-31 -
结构力学求解器64位系统使用
结构力学求解器(SMSolverforWindows)是一个面向教师、学生以及工程技术人员的计算机辅助分析计算软(课)件,其求解内容包括了二维平面结构(体系)的几何组成、静定、超静定、位移、内力、影响
33 2019-06-01 -
Python差分ODE求解器的PyTorch实现
具有完全GPU支持和O(1)-内存反向传播的可区分ODE求解器
47 2020-05-28 -
Melexis MLX90316.PSF求解器Solver序列
MelexisMLX90316.PSF求解器Solver序列校准步序详细说明
18 2019-09-09 -
用C#编写的数独求解器
本文介绍一款用C#编写的数独求解器,支持各种难度等级的数独谜题,可自动计算答案并提供解题过程。该软件具有操作简便,速度快等特点,是爱好数独的玩家的不错选择。
102 2018-12-07
暂无评论