| Commit | Date | |
|---|---|---|
| 2019-02-22 17:48:02 | Tree | |
| 2019-02-22 07:02:22 | Tree | |
|
[r9550]
by
"kifer"
return result as terms in usermod module - more convenient |
2019-02-22 05:44:04 | Tree |
| 2019-02-20 05:21:44 | Tree | |
| 2019-02-19 01:58:43 | Tree | |
|
[r9547]
by
"kifer"
solutions provided by minizinc are now stored in module minizinc, not usermod |
2019-02-19 01:56:41 | Tree |
| 2019-02-19 00:58:45 | Tree | |
| 2019-02-18 18:21:44 | Tree | |
| 2019-02-18 16:43:21 | Tree | |
| 2019-02-18 16:39:40 | Tree |