Code for the paper SAT-Based Automated Completion for Reachability Analysis. Important packages required pip install python-sat[pblib,aiger] Entry point / examples completion_sanity.py.