Lib.rs
› 关键词
#
transform
#
normal
#
expression-tree
#
conversion
#
cnf
#
forms
#
operations
#negation
关键词
搜索
nnf
否定范式操作库
v
0.1.0
#
forms
#
normal
#
expression-tree
#
cnf
#
conversion
#
negation
#
transform
negatable-set
包装允许包括否定在内的全部布尔运算的集合
v
0.1.0
#
set
#
negation
#
full
#
operations
#
boolean
#
negatable
#
btree-set
尝试使用
DuckDuckGo 搜索
。
sike
一个方便的特质，用于简化否定操作
v
2.1.0
#
negation
#
u8
#
traits
#
called
#
operator
#
fun
#
convenience
mycroft
受Datalog启发的编程语言，具有环绕否定和函数
v
0.0.1
#
predicate
#
programming
#
language
#
parse
#
functions
#
negation
#
circumscriptive