XSB Src (SVN)-old

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

Commit [r9512] Maximize Restore History

initial version of minizinc interface

Authored by: "kifer" 2019-02-11

Browse code at this revision

Parent: [r9511]

Child: [r9513]

changed	/trunk/XSB/packages/curl.P
added	/trunk/XSB/packages/minizinc
added	/trunk/XSB/packages/minizinc.P
added	/trunk/XSB/packages/minizinc/examples
added	/trunk/XSB/packages/minizinc/examples.P
added	/trunk/XSB/packages/minizinc/examples/australia.mzn
added	/trunk/XSB/packages/minizinc/examples/australia2.mzn
added	/trunk/XSB/packages/minizinc/examples/bake.dzn
added	/trunk/XSB/packages/minizinc/examples/bake.mzn
added	/trunk/XSB/packages/minizinc/examples/golfer.mzn
added	/trunk/XSB/packages/minizinc/examples/jobshop.dzn
added	/trunk/XSB/packages/minizinc/examples/jobshop.mzn
added	/trunk/XSB/packages/minizinc/examples/knapsack.dzn
added	/trunk/XSB/packages/minizinc/examples/knapsack.mzn
added	/trunk/XSB/packages/minizinc/examples/marriage.dzn
added	/trunk/XSB/packages/minizinc/examples/marriage.mzn
added	/trunk/XSB/packages/minizinc/examples/prod-planning.dzn
added	/trunk/XSB/packages/minizinc/examples/prod-planning.mzn
added	/trunk/XSB/packages/minizinc/examples/prod-planning2.dzn
added	/trunk/XSB/packages/minizinc/examples/queens.dzn
added	/trunk/XSB/packages/minizinc/examples/queens.mzn
added	/trunk/XSB/packages/minizinc/examples/sendmoney.mzn
added	/trunk/XSB/packages/minizinc/examples/show.mzn
added	/trunk/XSB/packages/minizinc/xsb2mzn.P

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

/trunk/XSB/packages/minizinc

Directory.

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

/trunk/XSB/packages/minizinc/examples

Directory.

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

/trunk/XSB/packages/minizinc/examples/australia.mzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/australia2.mzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/bake.dzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/bake.mzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/golfer.mzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/jobshop.dzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/jobshop.mzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/knapsack.dzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/knapsack.mzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/marriage.dzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/marriage.mzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/prod-planning.dzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/prod-planning.mzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/prod-planning2.dzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/queens.dzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/queens.mzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/sendmoney.mzn Diff Switch to side-by-side view

/trunk/XSB/packages/minizinc/examples/show.mzn Diff Switch to side-by-side view

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