Menu

Src (SVN)-old Commit Log


Commit Date  
[r9555] by "kifer"

forgot to run autoconf in a few places

2019-02-26 01:41:03 Tree
[r9554] by "kifer"

eliminated warnings related to missing mysql/jni stuff

2019-02-26 01:33:18 Tree
[r9553] by "kifer"

more tweaks to minizinc interface

2019-02-23 02:50:50 Tree
[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
Older >