Add Python bindings for proving and satisfying predicates#144

Merged

atomb merged 3 commits intomasterfrom at-prove-sat

Jan 25, 2021

+85-1

Commits on Jan 25, 2021

Add initial Python bindings for Cryptol prove/sat
Aaron Tomb
committed
Add file missing from previous commit
Aaron Tomb
committed
Fix MyPy type annotation
Aaron Tomb
committed