XSB Src (SVN)-old

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

Commit [r9549] Maximize Restore History

added minizinc tests to suite

Authored by: "kifer" 2019-02-20

Browse code at this revision

Parent: [r9548]

Child: [r9550]

changed	/trunk/XSB/packages/minizinc/xsb2mzn.P
changed	/trunk/XSB/syslib/basics.xwam
added	/trunk/xsbtests/minizinc
added	/trunk/xsbtests/minizinc/mzn_examples.P
added	/trunk/xsbtests/minizinc/mzn_examples.xwam
added	/trunk/xsbtests/minizinc/mzn_examples_old
added	/trunk/xsbtests/minizinc/test.sh
changed	/trunk/xsbtests/testall.sh

/trunk/XSB/packages/minizinc/xsb2mzn.P Diff Switch to side-by-side view

/trunk/XSB/syslib/basics.xwam

Binary file was changed.

/trunk/xsbtests/minizinc

Directory.

/trunk/xsbtests/minizinc/mzn_examples.P Diff Switch to side-by-side view

/trunk/xsbtests/minizinc/mzn_examples.xwam

Binary file was added.

/trunk/xsbtests/minizinc/mzn_examples_old Diff Switch to side-by-side view

/trunk/xsbtests/minizinc/test.sh Diff Switch to side-by-side view

/trunk/xsbtests/testall.sh Diff Switch to side-by-side view