Lib.rs

›

#sat #solver #satisfiability #boolean #max-sat

bin+lib solhop

SAT 和 MaxSAT 求解器

作者：Prateek (प्रतीक)

1 个不稳定版本

0.1.0	2020年10月18日

#30 在 #satisfiability

MIT 许可证

10KB
162 行

SolHOP

待办事项

许可证

`lib.rs`:

SAT 和 MaxSAT 求解器

依赖项

~8MB
~140K SLoC