Package org.sat4j.minisat.constraints.card

Implementations of cardinality contraints.

See:
          Description

Class Summary
AtLeast  
MaxWatchCard  
MinWatchCard  
 

Package org.sat4j.minisat.constraints.card Description

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



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