XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r9517] by rzf added delete/3	2019-02-11 10:28:45	Tree
[r9516] by "kifer" more error checking, added delayed version of minizinc (if input params are not ground)	2019-02-11 06:00:17	Tree
[r9515] by "kifer" added mzn syntax checks	2019-02-11 06:00:07	Tree
[r9514] by "kifer" finished packagetizing minizinc	2019-02-11 05:59:58	Tree
[r9513] by "kifer" more work on minizinc	2019-02-11 05:59:50	Tree
[r9512] by "kifer" initial version of minizinc interface	2019-02-11 05:59:39	Tree
[r9511] by dwarren Minor changes to fix support of explicit modules in assert/retract.	2019-02-10 20:29:12	Tree
[r9510] by dwarren Fix bug in retracting clauses with atomic bodies.	2019-02-10 17:08:49	Tree
[r9509] by dwarren Fixed bug in listing/1 for atoms.	2019-02-10 16:18:45	Tree
[r9508] by dwarren Yet another try to fully support dynamic aggregate predicates.	2019-02-10 02:12:04	Tree

Older >