This repository was archived by the owner on Oct 30, 2025. It is now read-only.

Towards Handling Big LHS#361

Open

zhengyang92 wants to merge 2 commits intogoogle:mainfrom

zhengyang92:better-huge-lhs

Commits on Oct 3, 2018

Always feed getGuesses() with Vars in LHS, add a switch for big query and enable the ctpop test case
zhengyang92
committed
a updated findCands()
zhengyang92
committed