Menu

Src (SVN)-old Commit Log


Commit Date  
[r9552] by "kifer"

more comments in the mzn manual

2019-02-22 17:48:02 Tree
[r9551] by "kifer"

typos in the mzn manual

2019-02-22 07:02:22 Tree
[r9550] by "kifer"

return result as terms in usermod module - more convenient
also allow querying solutions via usermod terms

2019-02-22 05:44:04 Tree
[r9549] by "kifer"

added minizinc tests to suite

2019-02-20 05:21:44 Tree
[r9548] by "kifer"

changed license to apache for the packages I was involved in

2019-02-19 01:58:43 Tree
[r9547] by "kifer"

solutions provided by minizinc are now stored in module minizinc, not usermod
changed license to apache
updates the doc

2019-02-19 01:56:41 Tree
[r9546] by dwarren

Fix bug in functor/4 in handling bound module name, pointed out by Michael.

2019-02-19 00:58:45 Tree
[r9545] by tswift

Loader for plow: will clone from github if necessary.

2019-02-18 18:21:44 Tree
[r9544] by tswift

Update for apache license.

2019-02-18 16:43:21 Tree
[r9543] by tswift

Changed license of PITA from GLP to Apache 2.0.

2019-02-18 16:39:40 Tree
Older >