search

leanprover / leansat

This package provides an interface and foundation for verified SAT reasoning
Apache License 2.0
49 stars 6 forks source link

feat: option to generate a graphviz file from an AIG #104

Closed Daniel1854 closed 4 months ago