newptcai/BeeEncoder.jl

A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) for SAT problem

语言：Julia · GitHub 星标：9 · Fork：1

话题：combinatorics · julia · math · mathematics · sat · sat-solver

在 GitHub 上查看原仓库