style: format and split up AIG - Githubissues

leanprover / leansat

This package provides an interface and foundation for verified SAT reasoning

Apache License 2.0

49 stars 6 forks source link

style: format and split up AIG #125

Closed hargoniX closed 3 months ago