Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

juliahub.com "sat" keyword

BeeEncoder 0.1.0
A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) for SAT problem
2 versions - Latest release: about 4 years ago - 7 stars on GitHub
Related Keywords
combinatorics 1 mathematics 1 math 1 julia 1 sat-solver 1