BeeEncoder (julia): A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) for SAT problem
Keywords: combinatorics|sat|sat-solver|math|mathematics|julia