org.sat4j.pb.orders (SAT4J 2.3.4 API)

All Classes

Interface Summary
Interface Description

IOrderObjective
Class Summary
Class Description

RandomWalkDecoratorObjective

VarOrderHeapObjective

Package org.sat4j.pb.orders Description

Various heuristics for the next variable to branch on.

All Classes

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