注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. miniSAT求解器

  2. MiniSAT是简约的求解器，开源的布尔可满足问题求解器。由研究人员和开发人员共同研发。并得到麻省理工大学的许可并发布。给SAT求解器一个逻辑命题，包含与或非逻辑符号以及若干布尔变量，SAT求解器根据这个表达式判定该逻辑命题是否可满足从而决定该命题是否成立。如果可满足，SAT求解器（包括MiniSAT）得到结果判定命题公式集是真的。很多问题都可以转换成SAT求解问题，并利用现有的SAT求解器，方便给出问题的所有答案。

  3. 所属分类：其它

    • 发布日期：2012-09-09
    • 文件大小：49152
    • 提供者：cailisha

  1. 最新的cryptominisat4求解器

  2. 可做代数攻击求解的。windows环境下的SAT求解器

  3. 所属分类：教育

    • 发布日期：2014-05-16
    • 文件大小：582656
    • 提供者：lilang911

  1. 快速简洁的SAT求解器Gini.zip

  2. Gini 是一个快速、简洁的 SAT 求解器。安装go get github.com/irifrance/gini...SAT 问题可能是最着名的 NP-complete 问题。 因此，SAT 求解器可用于尝试解决难题，例如旅行商问题或 RSA 破解。 在实践中，许多 SAT 问题是很容易的（但还不能解密问题）。求解器用于软件验证、硬件验证和测试、AI 规划、路由等。 标签：Gini

  3. 所属分类：其它

    • 发布日期：2019-07-19
    • 文件大小：417792
    • 提供者：weixin_39840515

  1. Go-Gini-一种采用Go开发的快速简洁的SAT求解器

  2. Gini - 一种采用Go开发的快速、简洁的SAT求解器

  3. 所属分类：其它

    • 发布日期：2019-08-14
    • 文件大小：420864
    • 提供者：weixin_39840914

  1. simple-sat, 在 python 中，编写了简单的递归和迭代SAT求解器.zip

  2. simple-sat, 在 python 中，编写了简单的递归和迭代SAT求解器 简单 SAT: 简单 python SAT求解器这个项目是一个简单的递归和迭代实现的回溯，基于观察的，SAT求解器。 代码基本上是基于knuth程序的，可以在这里找到 。 迭代代码的版本更接近于 knuth，但稍微复杂一点。 递归的版本相

  3. 所属分类：其它

    • 发布日期：2019-09-18
    • 文件大小：50176
    • 提供者：weixin_38743506

  1. cryptominisat, 高级SAT求解器.zip

  2. cryptominisat, 高级SAT求解器 CryptoMiniSat SAT解算器系统提供 CryptoMiniSat，一种先进的SAT求解器。 系统有 3个接口： 命令行，C 库和 python 。 命令行接口以 cnf 作为 DIMACS

  3. 所属分类：其它

    • 发布日期：2019-09-18
    • 文件大小：1048576
    • 提供者：weixin_38743602

  1. cryptominisat, 高级SAT求解器.zip

  2. cryptominisat, 高级SAT求解器 CryptoMiniSat SAT解算器系统提供 CryptoMiniSat，一种先进的SAT求解器。 系统有 3个接口： 命令行，C++ 库和 python 。 命令行接口以 cnf 作为 DIMACS

  3. 所属分类：其它

    • 发布日期：2019-10-10
    • 文件大小：1048576
    • 提供者：weixin_38743602

  1. SAT和SMT求解器简介：Introduction to SAT and SMT Solvers

  2. Introduction to SAT and SMT Solvers, Interfacing Yosys and SMT Solversfor BMC and more using SMT-LIB 2.5

  3. 所属分类：网络安全

    • 发布日期：2020-11-14
    • 文件大小：207872
    • 提供者：HowieXue

  1. rustsat:Rust中的SAT求解器-源码

  2. s Rust中的SAT求解器

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：7168
    • 提供者：weixin_42151599

  1. 基于局部max-sat求解器的RBAC授权查询方法

  2. 基于局部max-sat求解器的RBAC授权查询方法

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：1014784
    • 提供者：weixin_38637144

  1. HW:DPLL_SAT求解器-源码

  2. 硬件 DPLL_SAT求解器 基于DPLL算法的SAT问题解法程序 建设中 2021/3/10修改了部分DPLL算法的核心内容，并加入了计时功能 2021/3/11加入真值表的打印功能，拟增加冲突子句的记录功能，即学习函数拟加强MOM策略，改进变元的选择策略 2021/3/12拟增加数独部分

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：7168
    • 提供者：weixin_42106299

  1. Sudoku:DPLL SAT求解器应用于Sudoku-源码

  2. 数独 DPLL SAT求解器应用于Sudoku

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：8192
    • 提供者：weixin_42139460

  1. sat2021:CDCL SAT求解器中基于哈希的预处理-源码

  2. sat2021 该存储库包含我提交给SAT ​​2021会议的代码，这是我的出版物“ SAT求解器中基于哈希的预处理和处理技术”的一部分。 我提供了三种处理技术的实现：本文详细介绍了包含，消除子句消除和有界变量消除。 这些方法已在2020年SAT竞赛基准上进行了测试，您可以从下载（解压缩后约为30GB，因此我在此处未包括）。 如果您想复制本文的实验，请从下载Main Track基准数据集，并将其放置在文件夹/ p​​ath_to_repository / sat2021 / build /

  3. 所属分类：其它

    • 发布日期：2021-03-13
    • 文件大小：2048
    • 提供者：weixin_42108778

  1. Binary-Sudoku-Solver:使用SAT求解器求解二进制数独-源码

  2. 二进制数独解算器 使用SAT求解器求解二进制数独

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：16384
    • 提供者：weixin_42109732

  1. SAT求解器-源码

  2. SAT求解器

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：52224
    • 提供者：weixin_42137022

  1. micro_sp_sat：用于micro_sp的简单SAT求解器-源码

  2. micro_sp_sat 用于micro SP的简单SAT求解器

  3. 所属分类：其它

    • 发布日期：2021-02-15
    • 文件大小：24576
    • 提供者：weixin_42157166

  1. homebrew-touist：for TouIST公式的Homebrew回购（和一些求解器）-源码

  2. 家酿旅游 我想更轻松地使用touist版本的Homebrew以及一些QBF和SAT求解器。 安装touist ： brew install touist/touist/touist 推送新版本： brew bump-formula-pr touist/touist/touist --url=https://github.com/touist/touist/archive/v3.4.4.tar.gz 当PR为绿色时，请在本地拉PR： HOMEBREW_BINTRAY_USER=maelva

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：15360
    • 提供者：weixin_42160252

  1. sat_solver_resolution：基于2-CNF中使用PLY的解析方法的SAT求解器-源码

  2. 基于解析方法的SAT求解器 HSE算法和软件设计离散数学课程中的家庭作业项目。 基于解析工具。 任务描述 给定2-CNF中的布尔公式，请使用解析方法确定是否可满足要求。 2-CNF的子句可以是以下两种形式之一：α\ /β或α->β，其中α和β是文字（p或〜p，其中p是变量）。 CNF以常用符号表示，例如：（p-> q）/ \（〜r \ / s）/ \（〜q-> p） 例 $ python hw_ply.py input > (p -> q) /\ (~r \/ s)

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：2048
    • 提供者：weixin_42135073

  1. DPLLSAT:用OCaml编写的简单DPLL SAT求解器，用于证明CNF子句形式的命题公式不令人满意-源码

  2. DPLLSAT:用OCaml编写的简单DPLL SAT求解器，用于证明CNF子句形式的命题公式不令人满意

  3. 所属分类：其它

    • 发布日期：2021-04-01
    • 文件大小：6144
    • 提供者：weixin_42109178

  1. sitting-solver:坐式求解器渴望将来成为一名优秀的SAT求解器-源码

  2. 坐式求解器 坐式求解器渴望将来成为一名优秀的SAT求解器。 有关SAT求解器的资源： 的具有基本DPLL算法的简洁递归公式 这一对DPLL，子句学习和两个受监视的文字方案背后的思想进行了很好的解释，但是请注意，没有冲突分析的情况下，子句学习的实现不是很好。 这张也相当不错。 它具有简单的代码示例，并有详尽的解释。 我发现它对冲突分析和回跳的解释特别有用。 也有帮助 去做： 主DPLL环路 观看文字 前处理 后处理（进行中） 冲突分析和冲突驱动子句学习 冲突条款最小化 更新启

  3. 所属分类：其它

    • 发布日期：2021-03-27
    • 文件大小：18432
    • 提供者：weixin_42135754
« 12 3 »