search

gballet / multiproof-rs

A rust implementation of Alexey Akhunov's multiproof algorithm
Apache License 2.0
33 stars 8 forks source link

Support graphviz output #40

Closed gballet closed 5 years ago