Lib.rs
› 关键字
#
求解器
#
布尔
#
可满足性
#
FFI
#
数学
#
sol-hop
最大饱和度
关键字
搜索
logicng-open-wbo-sys
OpenWBO的LogicNG绑定
v
0.1.0-alpha.3
#
求解器
#
FFI
#
最大饱和度
msat
MaxSAT求解器
v
0.1.1
#
求解器
#
可满足性
#
布尔
#
最大饱和度
#
数学
尝试使用DuckDuckGo进行搜索
.
solhop
SAT和MaxSAT求解器
v
0.1.0
#
SAT
#
求解器
#
可满足性
#
布尔
#
最大饱和度
solhop-types
SolHOP的类型
v
0.1.0
#
SAT
#
布尔
#
可满足性
#
sol-hop
#
最大饱和度