Assert.assertEquals(bdd.toString(), s1, s2, 0.00001);
Assert.assertEquals(bdd.getVersion(), s1, s2, 0.00001);
    public void testR1() {        Assert.assertTrue(hasNext());        while (hasNext()) {            BDDFactory bdd = nextFactory();            BDDDomain d = bdd.extDomain(new int[] { 16 })[0];            BDD x = d.ithVar(6).orWith(d.ithVar(13));            BDDVarSet set = d.set();            double s1 = x.satCount(set);            if (bdd.varNum() < 20) bdd.setVarNum(20);            double s2 = x.satCount(set);            Assert.assertEquals(bdd.toString(), s1, s2, 0.00001);            x.free(); set.free();        }    }