feat: support for all solver backends for cryptol server/client#1224

Merged

pnwamk merged 6 commits intomasterfrom rpc/w4-solvers

Jul 2, 2021

+253-81

Commits on Jun 29, 2021

feat: support for all solver backends for cryptol server/client
Andrew Kent
committed

Commits on Jun 30, 2021

chore: update server docs w.r.t. sat related functionality
Andrew Kent
committed
chore: reduce trailing whitespace
Andrew Kent
committed
chore: deduplicate usage of helper
Andrew Kent
committed
chore: misc build fixes
Andrew Kent
committed

Commits on Jul 1, 2021

chore: type annotation fixes
Andrew Kent
committed