SATGL: An Open-Source Graph Learning Toolkit for Boolean Satisfiability | IEEE Conference Publication | IEEE Xplore