public class Fz2jacop
extends java.lang.Object
public static void main(java.lang.String[] args)
args
- parameters describing the flatzinc file containing the problem to be solved as well as options for problem solving.
TODO what are the conditions for different exceptions being thrown? Write little info below.ParseException
TokenMgrError