time limit support for impl LpExtractor#363

Merged

mwillsey merged 7 commits intoegraphs-good:mainfrom

jk2997:pr

Dec 3, 2025

Commits on Nov 12, 2025

solve_with_timeout() and solve_multiple_with_timeout() for impl LpExtractor
Joonho Kim
committed
no unnecessary rust-toolchain version change
Joonho Kim
committed
Update Rust toolchain version to 1.82
jk2997
authored

Commits on Nov 15, 2025

cargo fmt
Joonho Kim
committed
Merge branch 'pr' of github.com:jk2997/egg_fork into pr
Joonho Kim
committed

Commits on Nov 27, 2025

Refactor solve_multiple_with() and solve_multiple_with_timeout() to share common code
Joonho Kim
committed
cargo fmt
Joonho Kim
committed