Sibyl: Improving Software Engineering Tools with SMT Selection | IEEE Conference Publication | IEEE Xplore