Menu ▾ ▴

Commit [r9547]  Maximize  Restore  History

solutions provided by minizinc are now stored in module minizinc, not usermod

changed license to apache
updates the doc

"kifer" 2019-02-19

Browse code at this revision

Parent: [r9546]

Child: [r9548]

changed /trunk/XSB/docs/userman/manual2.pdf
changed /trunk/XSB/docs/userman/minizinc.tex
changed /trunk/XSB/packages/curl/cc/bin/curl2pl.dll
changed /trunk/XSB/packages/curl/cc/bin/curl2pl.exp
changed /trunk/XSB/packages/curl/cc/bin/curl2pl.lib
changed /trunk/XSB/packages/dbdrivers/cc/windows/driver_manager.dll
changed /trunk/XSB/packages/dbdrivers/cc/windows/driver_manager.exp
changed /trunk/XSB/packages/dbdrivers/cc/windows/driver_manager.lib
changed /trunk/XSB/packages/minizinc.P
changed /trunk/XSB/packages/minizinc/Makefile
changed /trunk/XSB/packages/minizinc/examples.P
changed /trunk/XSB/packages/minizinc/xsb2mzn.P
changed /trunk/XSB/packages/sgml/cc/bin/sgml2pl.dll
changed /trunk/XSB/packages/sgml/cc/bin/sgml2pl.exp
changed /trunk/XSB/packages/sgml/cc/bin/sgml2pl.lib
changed /trunk/XSB/packages/xpath/cc/bin/xpathparser.dll
changed /trunk/XSB/packages/xpath/cc/bin64/xpathparser.dll
/trunk/XSB/docs/userman/manual2.pdf
Binary file was changed.
/trunk/XSB/docs/userman/minizinc.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/curl/cc/bin/curl2pl.dll
Binary file was changed.
/trunk/XSB/packages/curl/cc/bin/curl2pl.exp
Binary file was changed.
/trunk/XSB/packages/curl/cc/bin/curl2pl.lib
Binary file was changed.
/trunk/XSB/packages/dbdrivers/cc/windows/driver_manager.dll
Binary file was changed.
/trunk/XSB/packages/dbdrivers/cc/windows/driver_manager.exp
Binary file was changed.
/trunk/XSB/packages/dbdrivers/cc/windows/driver_manager.lib
Binary file was changed.
/trunk/XSB/packages/minizinc.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/minizinc/Makefile Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/minizinc/examples.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/minizinc/xsb2mzn.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/sgml/cc/bin/sgml2pl.dll
Binary file was changed.
/trunk/XSB/packages/sgml/cc/bin/sgml2pl.exp
Binary file was changed.
/trunk/XSB/packages/sgml/cc/bin/sgml2pl.lib
Binary file was changed.
/trunk/XSB/packages/xpath/cc/bin/xpathparser.dll
Binary file was changed.
/trunk/XSB/packages/xpath/cc/bin64/xpathparser.dll
Binary file was changed.
mdb logo