Skip to main navigation Skip to search Skip to main content

Streamlined Constraint Reasoning: An Automated Approach from High Level Constraint Specifications (thesis data)

Dataset

Date made available18 Aug 2022
PublisherUniversity of St Andrews

Contact

Access Dataset

  • Data.tar.gz

    File: application/x-gzip, 356 MB

    Type: Dataset

    Licence: CC BY

  • Data2.tar.gz

    File: application/x-gzip, 2.1 MB

    Type: Dataset

    Licence: CC BY

Cite this