/CIAA-2024-SAT-Completion

SAT-Based Automated Completion for Reachability Analysis

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

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.