1@echo off 2 3rem 4rem Main authors: 5rem Guido Tack <tack@gecode.org> 6rem 7rem Copyright: 8rem Guido Tack, 2012 9rem 10rem This file is part of Gecode, the generic constraint 11rem development environment: 12rem http://www.gecode.org 13rem 14rem Permission is hereby granted, free of charge, to any person obtaining 15rem a copy of this software and associated documentation files (the 16rem "Software"), to deal in the Software without restriction, including 17rem without limitation the rights to use, copy, modify, merge, publish, 18rem distribute, sublicense, and/or sell copies of the Software, and to 19rem permit persons to whom the Software is furnished to do so, subject to 20rem the following conditions: 21rem 22rem The above copyright notice and this permission notice shall be 23rem included in all copies or substantial portions of the Software. 24rem 25rem THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 26rem EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 27rem MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 28rem NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE 29rem LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION 30rem OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION 31rem WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 32rem 33rem 34 35setlocal 36set FLATZINC_CMD=fzn-gecode 37minizinc -I "%GECODEDIR%\mznlib" %* 38