Lib.rs

› 科学
#graph #dimacs #sat #generate #file

satificator

由 Maxime Tremblay 编写

3 个版本

0.1.2 2021年11月5日
0.1.1 2021年10月27日
0.1.0 2021年10月14日

#858 在 科学

MIT/Apache

24KB
645 代码行

从图上的 SAT 生成 dimacs 文件

依赖项

~1.8–2.5MB
~49K SLoC