Menu

Src (SVN)-old Commit Log


Commit Date  
[r9558] by dwarren

Eliminated Singleton variable warnings. Just cleanup.

2019-02-26 16:59:29 Tree
[r9557] by dwarren

Eliminated a bunch of warnings during compilation. Just cleanup.

2019-02-26 15:32:43 Tree
[r9556] by dwarren

General adding of moding stuff.

2019-02-26 02:36:59 Tree
[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
Older >