package weeSeepy.test;

import java.util.*;
import weeSeepy.problem.*;
import weeSeepy.variables.*;
import weeSeepy.constraints.*;

public class Test01 {

    public static void main(String[] args){
	Problem pb = new Problem("test");
	
	IntVar x = pb.intVar("x",2,5);
	IntVar y = pb.intVar("y",3,8);
	IntVar z = pb.intVar("z",2,7);
	
	Constraint c1 = pb.post(new LessThan(pb,x,y));
	Constraint c2 = pb.post(new LessThan(pb,y,z));
	Constraint c3 = pb.post(new LessThan(pb,z,x));

	pb.show();

	System.out.println(pb.solve());
	/*
	pb.show();
	pb.propagate();
        System.out.println();
	pb.show();
	*/
    }
	
}