search

mnemonikr / symbolic-pcode

Apache License 2.0
0 stars 0 forks source link

Support serialization of all constraints to AIG for constraint solving #6

Open mnemonikr opened 1 year ago

mnemonikr commented 1 year ago

See https://github.com/arminbiere/aiger for format details.