z11i/pysat

Simple SAT solver with CDCL implemented in Python

语言：Python · GitHub 星标：19 · Fork：6

话题：cdcl-algorithm · python · python3 · sat-solver

在 GitHub 上查看原仓库