Boolean circuit satisfiability via embedding into quantum circuits - View it on GitHub