Lib.rs

› 关键词 #bdd #expression #diagram #decision #oxi-dd #logic #string #polygon

#布尔值

  1. 谓词

    布尔值谓词函数

    v3.1.2 2.8M #谓词 #逻辑 #匹配 #组合 #布尔值

  2. try-lock

    轻量级的原子锁

    v0.2.5 6.3M #原子 #锁 #同步 #尝试 #布尔值 #交换 #轻量级

  3. 位图

    固定大小的布尔数组

    v3.2.1 622K #固定大小 #位图 #数组 #布尔值 #紧凑 #类型

  4. evalexpr

    强大的算术和布尔表达式评估器

    v11.3.0 184K #表达式评估器 #表达式 #布尔值 #评估器 #算术 #评估 #数学

  5. biodivine-lib-bdd

    基本二进制决策图（BDD）的安全线程实现

    v0.5.19 420 #bdd #布尔值 #布尔表达式 #数据结构 #行为 #符号 #对象

  6. diff-struct

    一个用于比较类型和应用差异的特质

    v0.5.3 9.5K #差异 #数据结构 #比较 #宏推导 #容器 #字符串 #布尔值

  7. bool_ext

    在Rust的原始类型 bool 上定义和实现了一组完整的 Option/Result-风格的布尔功能组合器

    v0.7.0 750 #组合器 #布尔值 #布尔 #功能 #适配器

  8. geo-clipper

    多边形上的布尔运算

    v0.8.0 6.6K #多边形 #偏移 #布尔值 #地理

  9. oxidd-dump

    将OxiDD决策图导出到文件

    v0.2.0 #图 #决策 #oxi-dd #bdd #布尔值 #顺序 #表示

  10. oxidd-rules-bdd

    OxiDD的二进制决策图（BDD）

    v0.7.0 110 #diagram #decision #bdd #oxi-dd #binary #boolean #ordered

  11. predicates-tree

    将布尔值谓词函数结果以树形展示

    v1.0.11 2.3M #logic #predicate #combinatorial #boolean #match

  12. oxidd-manager-pointer

    基于指针的OxiDD管理实现

    v0.2.0 #diagram #decision #bdd #oxi-dd #manager #boolean #framework

  13. oxidd-rules-zbdd

    为OxiDD提供的零抑制决策图(ZBDDs)

    v0.7.0 #diagram #decision #oxi-dd #bdd #zbdd #zero-suppressed #boolean

  14. volute

    布尔函数实现，表示为查找表(LUT)或积之和(SOP)

    v1.1.5 #lookup-tables #boolean #logic #lut #truth-table

  15. biodivine-pbn-control

    控制参数化布尔网络

    v0.3.1 #networking #control #boolean #experiment #parametrized #controlling #temporary

  16. clipper2

    为Rust提供的多边形裁剪和偏移库

    v0.4.1 140 #polygon #boolean #clip #clipper

  17. oxidd-cache

    为OxiDD应用缓存

    v0.7.0 #diagram #oxi-dd #decision #bdd #cache #algorithm #boolean

  18. esexpr

    序列化格式及相关实用工具

    v0.1.14 1.2K #binary-data #constructor #string #positional-arguments #tags #name #boolean

  19. oxidd-rules-tdd

    为OxiDD提供的三值决策图(TDDs)

    v0.2.0 #diagram #decision #oxi-dd #bdd #ternary #tdd #boolean

  20. oxidd-rules-mtbdd

    为OxiDD提供的多端决策图(MTBDDs)

    v0.2.0 #diagram #decision #oxi-dd #bdd #mtbdd #boolean #framework

  21. bool_vec

    一个crates，公开一个名为BoolVec的向量，允许您用单个位存储布尔值

    v0.2.2 110 #boolean #single #vec #byte #bool #store #expose

  22. oxidd-test-utils

    OxiDD的测试工具

    v0.2.0 #diagram #oxi-dd #bdd #decision #binary #boolean #representation

  23. condtype

    通过布尔常量在编译时选择类型

    v1.3.0 31K #boolean #type #condition #const #depend

  24. iron-shapes-booleanop

    铁形状的多边形布尔运算

    v0.1.0 #polygon #operations #boolean #design #automation #electronic #shape

  25. binf

    添加处理二进制标志的实用程序

    v1.1.3 120 #flags #binary #boolean #packed #structs #fields #dealing

  26. libreda-logic

    LibrEDA的逻辑库

    v0.0.3 #logic #boolean #eda #vlsi

  27. fast-boolean-anf-transform

    布尔代数范式（ANF）变换的快速实现

    v0.0.2 #boolean #transform #forms #normal #algebraic #form #unsigned-integer

  28. simple_predicates

    本地配置管理实用程序

    v0.4.2 #boolean #predicates #expressions #u32 #condition #eval #vec

  29. cryptominisat

    CryptoMiniSat布尔可满足性问题求解器的Rust绑定

    v5.8.0 #sat-solver #sat #bindings #boolean #satisfiability #find #clauses

  30. bitval

    用于使用位操作在变量中打包布尔值

    v0.1.0 130 #bit-field #bit-set #boolean #individual #packing #operations #storage

  31. varisat

    基于CDCL的SAT求解器（库）

    v0.2.2 17K #sat-solver #variables #boolean #formula #proof #assignment #cdcl

  32. cbitset

    一个位集，能够在整数数组中固定存储一定数量的布尔值

    v0.2.0 9.4K #bit-set #bit-array #boolean #fixed #hold #integer #able

  33. weak_true

    类似于弱类型语言中自动隐式转换为布尔值的操作

    v0.1.5 #language #automatic #implicit #conversion #boolean #values #typed

  34. nanoval

    用于表示 f64、i32、u32、布尔值、null 和任意指针的纳米标签值

    v0.3.1 #value #pointers #i32 #f64 #u32 #boolean #nan-tagged

  35. 触发器

    实现了 Perl 和 Ruby 中的触发器操作符作为 Rust 宏

    v1.0.0 #boolean #flip #operator #ruby #expressions #perl #macro

  36. 布尔表达式

    操作和评估布尔表达式和 BDD

    v0.4.4 3.7K #boolean #bdd #expressions #manipulating #evaluating #diagram #decision

  37. quine-mccluskey

    基于 Quine–McCluskey 算法的布尔函数最小化器

    v1.0.0 #boolean #minimize #algorithm

  38. 高锰酸钾

    Numberlink 和 Flow Free 的图和布尔 SAT 求解器

    v0.1.0 110 #sat-solver #edge #flow #free #graph #boolean #problem

  39. clipper2-sys

    多边形裁剪和偏移量（Clipper2 包装器）

    v0.4.0 #polygon #boolean #clip #offset #clipper2

  40. rust_argp

    类似参数字符串的解析器

    v0.0.2 #command-line-arguments #arguments-parser #arguments #string #boolean #query-string #vec-string

  41. flaneur2020/pua-lang

    The Monkey 编程语言的一个方言

    GitHub 0.1.0 #programming-language #monkey #variables #boolean #string #hash #syntax

  42. 真值

    生成 N 个布尔值的所有可能组合

    v0.1.0 #logic #boolean #iterator #product #truth-table

  43. signalbool

    捕获信号并设置布尔标志以供后续使用

    v0.2.5 110 #signal #sigint #flags #boolean #set #nix #catch

  44. abibool

    C ABI 兼容的布尔类型

    v0.5.3 #bool #winapi #boolean #abi #compatible #types #api

  45. rawcode

    实现了一种简单的“原样”编码格式

    v0.3.1 #boolean #format #fixed-length #integer #byte #utf-8 #encoding

  46. boo-hoo

    ZKBoo

    v0.2.0 #zero-knowledge-proofs #input-output #circuit #proof #boolean #experimental #cryptography

  47. clipper2c-sys

    为 Rust 暴露 Clipper2 库的不安全 FFI

    v0.1.4 下载次数：170 #boolean #clip #polygon #clipper2 #clipper

  48. bool_traits

    使用布尔表达式作为属性界限

    v0.1.1 #traits #bounds #boolean #expression #generics #no-alloc

  49. string-config-parser

    Rust的配置文件解析器

    v0.2.1 #key-value #config-parser #pair #config-file #comments #different #boolean

  50. rargsxd

    小型简单的参数解析库

    v0.2.6 #arguments-parser #boolean #string #arg #long #name #copyright

  51. random_str

    生成随机字符串、字符、布尔值和整数

    v0.1.2 #random-string #boolean #random-password #chars #integer #numbers #text

  52. boolnetevo

    通过演化布尔网络来逼近位串函数及其（未知的）逆函数的种群

    v0.4.0 #boolean #evolution #inverse #bitstring

  53. xdd

    组合学中的决策图，包括BDD、ZDD、MBDD、πDD等

    v0.1.0 #bdd #zdd #set #multiset #boolean #combinatorics #boolean-expression

  54. minisat

    接口。解决以合取范式给出的布尔可满足性问题。

    v0.4.4 下载次数：110 #problem #interface #sat-solver #boolean #satisfiability #forms #normal

  55. rbitpack

    用于使用位操作在变量中打包布尔值

    v0.1.0 下载次数：100 #boolean #packing #bit-manipulation #operations #overflow #size #fields

  56. sqlite-fastrand

    一个用于快速生成数字和blob的SQLite扩展

    v0.2.1 #sqlite #sqlite-extension #numbers #blobs #quickly #generate #boolean

  57. boolvec

    存储在内存中的布尔向量

    v0.2.6 下载次数：430 #boolean #bool #vec #data-structures

  58. bool2cnf

    将布尔表达式直接转换为dimacs

    v0.1.9 #boolean #cnf #expression #dimacs #parser #transfer

    59. 尝试使用DuckDuckGo进行搜索。[搜索]

  59. m4ri-rust

    基于M4RI的布尔线性代数

    v0.4.0 #线性代数 #矩阵 #m4ri #布尔 #矩阵-向量 #科学计算 #二进制

  60. dconf_rs

    与dconf交互的API

    v0.3.0 10K #dconf #gnome #api #linux #设置 #布尔

  61. predicates-core

    布尔值谓词函数的API

    v1.0.8 2.3M #谓词 #布尔 #组合 #匹配 #逻辑

  62. boolean-enums

    生成带有是和否变体的枚举。支持no_std和serde。

    v0.3.4 #枚举 #布尔 #是 #bool #否

  63. achan

    & 任何值的方便表示

    v0.2.0 #值 #表示 #枚举 #数字 #布尔 #f64 #列表

  64. bellperson

    zk-SNARK库

    v0.26.0 6.3K #zk-snarks #数字 #电路 #gpu #布尔 #bellman #抽象

  65. swahili-dsl

    为教育目的而制作的基于斯瓦希里语的DSL

    v0.1.8 #dsl #教育 #语言 #布尔 #变量 #mini #宏

  66. tribool

    三值逻辑

    v0.3.0 #逻辑 #三值 #serde #不确定 #xor #布尔 #三态

  67. predicate

    使用枚举进行谓词判断，支持&和|运算符

    v0.1.0 170 #枚举 #布尔 #断言 #过滤

  68. any_all_workaround

    32位ARM上布尔简化生成差劣LLVM代码的解决方案

    v0.1.0 440 #llvm #解决方案 #差劣 #布尔 #代码生成 #arm #32位

  69. growable-bitmap

    可增长（并可缩小）的紧凑布尔数组

    v0.2.0 #位图 #可增长 #数组 #紧凑 #布尔 #布尔数组 #可缩小

  70. polygon_clipping

    计算多边形布尔运算的算法

    v0.1.0 #多边形 #布尔 #交集 #并集 #几何

  71. quine-mc_cluskey

    Quine-McCluskey算法和Petrick方法

    v0.2.4 27K #algorithm #boolean #expression #petrick #automatic #minimize #quine

  72. truthy

    检查一个值是否为"truthy"

    v1.1.0 #boolean #bool #macro #non-zero #numbers #and-or #string

  73. filter_ast

    布尔过滤表达式的AST

    v0.2.1 #filter #ast #boolean #expression #representation

  74. matches

    一个宏，用于评估表达式是否与模式匹配，作为布尔值

    v0.1.10 1.8M #expression #pattern #boolean #whether #evaluate #match #debugging

  75. ish

    有时事物是true-ish的

    v0.0.2 #true #false #true-ish #false-ish #compare #integer #boolean

  76. bitwise_boolean

    用于生成具有存储最多8个标志的u8字段的结构的按位布尔获取器和设置器的宏

    v0.1.0 #bit-manipulation #boolean #getter-setter #getter #setter #macro #bitwise

  77. fool

    布尔型和求和类型之间互操作性的特质

    v0.0.4 #boolean #conversion #extension #result #options

  78. bool

    简单的可重用枚举布尔类型（你可能不需要 =))

    v0.3.0 500 #enums #boolean #true #false #respectively #likely #won-t

  79. as_bool

    定义类型在布尔上下文中的表示方式

    v0.1.3 #boolean #true #false #truth #context #table #represented

  80. hermes_ru

    一个非常方便的字符串解析crate，可以将字符串中的函数和变量引用解析为相应的值

    v0.1.0 #parser #variables #string #reference #cache #hermes #boolean

  81. bellman

    zk-SNARK库

    v0.14.0 23K #zk-snarks #circuit #scalar-field #boolean #arithmetic-operations #numbers #group

  82. negate

    属性宏，用于生成返回布尔值的函数的否定版本

    v0.1.1 #boolean #macro #proc-macro #version

  83. iif

    根据表达式的评估返回两个部分之一

    v1.2.1 #expression #boolean #depending #evaluation #parts #vba

  84. bqrs

    将布尔查询应用于文本

    v0.1.3 #query #text #match #boolean #search

  85. rustollens

    一个小型且实验性的库，具有布尔值的类型级表示，并带有相应的连接词，用于在编译时进行逻辑上的乐趣

    v0.1.0 #boolean #logic #type-level #type-level-logic

  86. bool_expr_parser

    布尔表达式解析和评估库

    v0.3.13 #expression-parser #parser #boolean #expression #parse-error

  87. compact_bitset

    一种用于密集存储布尔值的固定大小数组类型，以优化空间

    v0.1.3 #boolean #arrays #fixed-size #space #bit #optimization #container

  88. clipper-sys

    多边形上的布尔运算（Clipper包装器）

    v0.7.2 6.7K #polygon #clip #boolean #clipper

  89. coolrule

    布尔表达式评估器。boolrule的Rust端口。

    v0.1.0 #expression-evaluator #boolean #parser-combinator #port #evaluation #engine #evaluating

  90. positron

    解析并执行布尔表达式

    v0.2.4 #boolean #expressions #execute #parse #gate #circuit

  91. eitherable

    创建从布尔值到either类型的扩展特质。（也许还有其他类型）

    v0.1.0 #traits #create #boolean #left #right #extension #maybe

  92. negatable-set

    允许执行包括否定在内的全部布尔运算的集合包装器

    v0.1.0 #set #negation #operations #boolean #full #negatable #btree-set

  93. bool-logic

    操作和评估布尔表达式

    v0.2.0 160 #expressions #evaluating #manipulating #boolean

  94. ptr-bool

    具有指针大小的指针和布尔值

    v0.1.0 #pointers #boolean #byte #size #bit #storing #bit-pack

  95. boolean

    简单的可重用枚举布尔类型（你可能不需要 =))

    v0.3.0 #enums #true #false #respectively #likely #won-t #re-useable

  96. mso-tri-state

    无畏的布尔值

    v0.1.0 #boolean #modern #microsoft #fearless

  97. boolean_checker

    检查布尔值的类型安全性

    v0.1.0 #安全性 #布尔值 #真 #假 #无效值 #通过

  98. quinemccluskey-rs

    Quine-McCluskey布尔函数最小化算法

    v0.1.0 #最小化 #布尔值 #Quine #Quine-McCluskey #项 #二进制 #评估