Code files for GNAP model for analysis using CPSA.
Primary LanguageSchemeBSD 2-Clause "Simplified" LicenseBSD-2-Clause