search

mmcloughlin / ec3

Elliptic Curve Cryptography Compiler: an incomplete experiment in code-generation for elliptic curves in Go
BSD 3-Clause "New" or "Revised" License
56 stars 5 forks source link

internal/z3: new package #100

Closed mmcloughlin closed 4 years ago

mmcloughlin commented 4 years ago

Bindings to the Z3 library. Intended to help prove correctness of multi-precision arithmetic routines.

Related #96 Fixes #99