Also used :
IntStream(java.util.stream.IntStream)
COMMANDER(org.logicng.cardinalityconstraints.CCConfig.AMO_ENCODER.COMMANDER)
Assertions.assertThat(org.assertj.core.api.Assertions.assertThat)
LADDER(org.logicng.cardinalityconstraints.CCConfig.AMO_ENCODER.LADDER)
SATSolver(org.logicng.solvers.SATSolver)
SQRT(org.logicng.cardinalityconstraints.CCConfig.BIMANDER_GROUP_SIZE.SQRT)
Formula(org.logicng.formulas.Formula)
BEST(org.logicng.cardinalityconstraints.CCConfig.AMO_ENCODER.BEST)
NESTED(org.logicng.cardinalityconstraints.CCConfig.AMO_ENCODER.NESTED)
MiniSat(org.logicng.solvers.MiniSat)
Collectors(java.util.stream.Collectors)
BIMANDER(org.logicng.cardinalityconstraints.CCConfig.AMO_ENCODER.BIMANDER)
Test(org.junit.jupiter.api.Test)
HALF(org.logicng.cardinalityconstraints.CCConfig.BIMANDER_GROUP_SIZE.HALF)
LogicNGTest(org.logicng.LogicNGTest)
PURE(org.logicng.cardinalityconstraints.CCConfig.AMO_ENCODER.PURE)
BINARY(org.logicng.cardinalityconstraints.CCConfig.AMO_ENCODER.BINARY)
Variable(org.logicng.formulas.Variable)
FormulaFactory(org.logicng.formulas.FormulaFactory)
FIXED(org.logicng.cardinalityconstraints.CCConfig.BIMANDER_GROUP_SIZE.FIXED)
CardinalityConstraint(org.logicng.formulas.CardinalityConstraint)
PRODUCT(org.logicng.cardinalityconstraints.CCConfig.AMO_ENCODER.PRODUCT)
FormulaFactory(org.logicng.formulas.FormulaFactory)
CardinalityConstraint(org.logicng.formulas.CardinalityConstraint)
Test(org.junit.jupiter.api.Test)
LogicNGTest(org.logicng.LogicNGTest)