Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added known primitives to the scope | 2017-08-15 | |
* | Partial interpretation from initial instance model | 2017-08-15 | |
* | Literals from the problem are added to the initial set of primitive | 2017-08-15 | |
* | Partial interpretation initialiser with primitive types | 2017-08-15 | |
* | Migrating Additional projects | 2017-06-10 |