2 repositories on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) for SAT problem
A Julia package for plane geometry.