A package src.devoted to serach tools based on real constraints and variables. It offers a default branching with value and variable selectors.