this repo has no description
dekker.one
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" %*