Package org.sat4j.minisat.constraints.card

Implementations of cardinality constraints.

See:
          Description

Class Summary
AtLeast  
MaxWatchCard  
MinWatchCard  
 

Package org.sat4j.minisat.constraints.card Description

Implementations of cardinality constraints. Cardinality constraints are implemented by counters and watched literals.



Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.