Julia bindings to the SAT solver picosat - View it on GitHub