minisat
SAT solver
MiniSat is a comparatively small SAT solver with documentation (through the following paper). The first version was just above 600 lines while containing many then-desirable features (conflict-clause recording, conflict-driven backjumping, VSIDS dynamic variable order, two-literal watch scheme), and even extensions for incremental SAT and for non-clausal constraints over boolean variables. The current MiniSat v2 supports variable elimination style simplification, too.
沒有可用的 openSUSE Leap 16.0 官方套件發行版
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
SLFO 1.2
SUSE SLE-15-SP1
不支援的發行版本
下列發行版本並未被官方支援。使用這些套件需要自行承擔風險。