People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
Solving Clafer Models with Choco
| Title | Solving Clafer Models with Choco |
| Publication Type | Report |
| Year of Publication | 2012 |
| Authors | Liang, J. |
| Series Title | Generative Software Development Laboratory |
| Document Number | GSDLab-TR 2012-12-30 |
| Date Published | 12/2012 |
| Institution | University of Waterloo |
| Abstract | The Clafer modelling language relies on Alloy as its back-end solver. Although Alloy is a good target language for the Clafer compiler because of the strong similarities between the two languages, it suffers in the presence of large integers. This paper explains the implementation of a new Clafer solver based on the Java constraint programming library called Choco. The solver needs to capture the semantics of the language including the hierarchy structure, type inheritance, references, primitives, and constraints. Performance of the solvers is the main metric for comparison. |
| Refereed Designation | Non-Refereed |
| Attachment | Size |
|---|---|
| 2012-liang-choco.pdf | 254.47 KB |
