This is a general repository for my personal Clafer models that I am developing during my PhD at University of Waterloo.