Lib.rs
› 关键词
#
bindings
#
multi-objective
#
solver
#
sat-solver
#
pre-processor
#
proc-macro
#maxsat
关键词
搜索
scuttle
多目标MaxSAT求解器
v
0.3.1
120
#
solver
#
sat-solver
#
multi-objective
#
maxsat
maxpre
Rust对MaxPre（MO-）MaxSAT预处理器的绑定
v
0.2.3
#
preprocessor
#
binding
#
bindings
#
maxsat
scuttle-proc
scuttle的进程宏。该包不打算在scuttle之外使用。
v
0.1.1
#
solver
#
multi-objective
#
maxsat
#
proc-macro