How to use LpExtractor

[sqPoseidon]

Hi, I'm new to Rust and Egg. I got one problem when using LpExtractor following:

egg/tests/math.rs

Line 351 in 4cfd22b

let lp_best = LpExtractor::new(&runner.egraph, AstSize).solve(root);

I have installed the coin-cbc via $ conda install coin-or-cbc. And in the rust file, use egg::* is added. Then I got the error message:

349 |     let lp_best = LpExtractor::new(&runner.egraph, AstSize).solve(root);
    |                   ^^^^^^^^^^^ use of undeclared type `LpExtractor`

In the document, I noticed one announcement Available on crate feature lp only. Do I need to add something to the Cargo.toml? Or do I need to add something else in the .rs file?

[mwillsey]

Yes, you need to use features. So something like

egg = { version = "whatever", features = ["lp"] }

[sqPoseidon]

Thank you @mwillsey.