您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

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

  2. s Rust中的SAT求解器
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:7168
    • 提供者:weixin_42151599
  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. logic21-源码

  2. CS402计算机科学逻辑概论,KAIST,2021年Spring 这是2021年Spring在KAIST CS部门提供的“ CS402计算机科学逻辑导论”课程的网页。该网页将包含与课程相关的材料和公告的链接。 CS402是一门有关逻辑的课程,重点是其在计算机科学中的用途。 其目的是使学生了解逻辑的计算方面,尤其是现代SAT求解器和定理证明背后的关键数学结果和算法。 该课程涉及大量的数学和理论计算机科学,尤其是计算复杂性,验证和编程语言。 我们假设学生精通阅读和证明数学定理,并且他们从可计算性和
  3. 所属分类:其它

    • 发布日期:2021-03-10
    • 文件大小:15728640
    • 提供者:weixin_42109178
  1. awesome_or-tools:精选的OR-Tools社区资源的精选清单-源码

  2. 很棒的OR-工具 精选的OR-Tools社区和官方资源的精选列表。 目录 读 或工具相关的阅读材料。 官方的 Google制作了阅读材料 。 。 官方邮件列表。 (测试版)。 官方聊天室。 维护的博客。 维护的手册。 社区 社区制作的阅读材料 [or-tools]标记的问题。 主要是CP-SAT相关的东西。 主要是路由相关的内容。 内部的 阅读与OR-Tools内部相关的材料。 构建系统: 。 。 。 包装器: 样品 来自社区的样本和模型。 基本样本 很少有规范的样本来
  3. 所属分类:其它

    • 发布日期:2021-03-04
    • 文件大小:5120
    • 提供者:weixin_42117340
  1. SAT求解器-源码

  2. SAT求解器
  3. 所属分类:其它

    • 发布日期:2021-02-26
    • 文件大小:52224
    • 提供者:weixin_42137022
  1. 周六:SAT解算器-源码

  2. {0,1}上的代数多项式总和求解器 实例:多项式P(k,x 1 ,x 2 ,...,x n ),它是项的和,其中每个项是k个不同变量x j的乘积。 答案:对于所有可能的赋值U i = {u 1 ,u 2 ,... u n }这样,计算∑ U i P(k,u 1 ,u 2 ,... u n )的总和值。 u j在{0,1}中。 例子 实例:P(2,x 1 ,x 2 ,x 3 )= x 1 * x 2 + x 2 * x 3 答:对于所有可能的分配,总和值为4 : 1个 2倍 3倍 P(2,x
  3. 所属分类:其它

    • 发布日期:2021-02-17
    • 文件大小:586752
    • 提供者:weixin_42116058
  1. automatic_reasoning_abt_sw:“关于软件的自动推理”课程中的最后一个项目67532(耶路撒冷希伯来大学)-源码

  2. SAT解算器 :robot: 为了使用SAT求解器,您需要导入sat_solver.sat_engine ,然后调用其中定义了公式的函数solve_sat(formula) ,如下所示 原子命题应为'p'...'z'中的字母,并可选地后面跟数字序列。 例如:“ p”,“ y12”,“ z035”。 可以有“ T”和“ F”(分别为True和False)。 〜φ其中,φ是有效的命题公式。 '(φ&ψ)',其中φ和ψ均为有效命题公式。 '(φ|ψ)',其中φ和ψ均为有效命题公式。 '(φ
  3. 所属分类:其它

    • 发布日期:2021-02-16
    • 文件大小:67584
    • 提供者:weixin_42160376
  1. micro_sp_sat:用于micro_sp的简单SAT求解器-源码

  2. micro_sp_sat 用于micro SP的简单SAT求解器
  3. 所属分类:其它

    • 发布日期:2021-02-15
    • 文件大小:24576
    • 提供者:weixin_42157166
  1. 数独:Clojure的带有GUI(跷跷板)的数独加载器和求解器-源码

  2. 迷你喷射MrSudoku 迷你数独游戏。 实用程序lein run pour lancer le program。 Solveur:DFS等 参加SAT考试的贴花课程。 J'utilise algorithme DFS(深度优先搜索)倒入数独。 倒入无偿案件,解散法令(第1-9章)(可能适用)。 发生严重冲突时,请复制本案,以免发生冲突。 Le Soltur va Parcourir吹捧案件。 Si onàréséudretoute les case(jusqu'à(9,9)),数独法
  3. 所属分类:其它

    • 发布日期:2021-02-15
    • 文件大小:56320
    • 提供者:weixin_42105816
  1. SatSpaceExpo:通过采样探索SAT问题空间-源码

  2. SNAP用于构建非常小的测试套件 此回购包含SNAP的来源,SNAP是用于构建非常小的测试套件的工具。 安装 步骤1.下载并设置Z3求解器 我们在实验期间使用了 ,但较新的版本可能会更快。 wget https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz tar -xzf z3-4.8.4.tar.gz # follow steps in README.md inside the z3-4.8.4 like following... pyt
  3. 所属分类:其它

    • 发布日期:2021-02-13
    • 文件大小:6291456
    • 提供者:weixin_42099755
  1. 阿联酋-源码

  2. UASAT-RS 基于SAT求解器的计算器,用于离散数学和通用代数。 目标: 公式:多个域上的一阶句子(张量,无幂集) 小结构:元素是整数,运算和关系是张量 大型结构:元素是张量,运算和关系是公式 使用SAT求解器将大型结构变成小型结构 小代数的子代数/同余格是一个大集合半格 找到大满足半格的满足不可约元素,得到大格 将大型Galois连接(克隆)转换为小型Galois连接 种类:签名,公理,定理,结构验证能力 多态大结构(由整数或张量参数化)
  3. 所属分类:其它

    • 发布日期:2021-02-11
    • 文件大小:151552
    • 提供者:weixin_42122986
  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. dockerfiles:无处不在的Dockerfiles-源码

  2. badouralix / dockerfiles 该存储库包含一些Dockerfile。 请参阅上的。 当前的dockerfile 基于高山的docker镜像,支持http2 具有curl和jq的基于阿尔卑斯的docker映像 基于alpine的docker映像,为正式的covid-19générateurd'testing dedérogatoire提供服务 用于计算blake2s哈希值的基于高山的docker映像 光泽-光泽为V4基于Debian搬运工图像 具有NuSM
  3. 所属分类:其它

    • 发布日期:2021-01-31
    • 文件大小:65536
    • 提供者:weixin_42132056
  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