Need to reduce time complexity of the python AI project

My project has a obdd node and a cnf….. it checks the equivalence of obdd node and cnf using a python sat solver…. There are multiple calls made to sat solver…. We need some replacement of sat solver…. Any algorithm that works more quickly than sat solver And also Please check cnf file uploaded in the project….come up with better algorithms for is_model function and condition function