Skip to main content

Module optimal

Module optimal 

Source

Re-exports§

pub use rules::Reason;

Modules§

depth2
Specialised solvers for trees of depth one and two.
dl85
rules
Rules that decide, at each node, whether the DL8.5 search goes on.