XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Src (SVN)-old Commit Log

Commit	Date
[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
[r9542] by dwarren Find floundered_undefines/1 in right module.	2019-02-16 21:34:51	Tree
[r9541] by dwarren Better fix for attributed variable bug in excess_vars.	2019-02-16 21:33:04	Tree

Older >