Main Page Class Hierarchy Compound List File List Contact Download Symbolic Constraints Examples
Symbolic Constraints
At the moment the following symbolic constraints are in the library.
- SCIL::TOUR: Hamiltonian Cycles in undirected graphs.
- SCIL::ATOUR: Hamiltonian Cycles in directed graphs.
- SCIL::FLOW: Network Flows.
- SCIL::SpanTree: Spanning Trees.
- SCIL::StronglyConnected: Strongly Connected Subgraphs.
- PATH: Paths between pairs of nodes.
Generated on Tue Nov 16 15:18:24 2004 for SCIL by
1.2.16