Published July 21, 2020 | Version July2020
Software Open

stacs-cp/CP2020-SRSMT: July 2020

Authors/Creators

  • 1. University of St Andrews

Description

Supplemental repository for "Effective Encodings of Constraint Programming Models to SMT" published in CP2020.

Files

stacs-cp/CP2020-SRSMT-July2020.zip

Files (1.2 MB)

Name Size Download all
md5:b6cd7fa9fcb6d2666354c1a9def36586
1.2 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/stacs-cp/CP2020-SRSMT/tree/July2020 (URL)