Batch solving#89

Open

slibkind wants to merge 2 commits into

mainfrom

Commits on Nov 4, 2021

fix: remove type restrictions
slibkind
committed

Commits on Nov 6, 2021

ehn: allow for batch solving for dwds
slibkind
committed