private native int getBooleanValue(long solver,long bool);
private native int getOrderConstraintValue(long solver,long order, long first, long second);
private native void printConstraints(long solver);
private native int getBooleanValue(long solver,long bool);
private native int getOrderConstraintValue(long solver,long order, long first, long second);
private native void printConstraints(long solver);