private void makeClause(String s)
    {
        Clause c = new Clause(varCount);
        scanner = new Scanner(s);
        while(scanner.hasNextInt())
        {
            int next = scanner.nextInt();
            if(next!=0)  //0 signifies the end of clause
            {c.addVariable(new Variable(next));}
        }
        formula.addClause(c); //add clause to the formula
    }