search

mnemonikr / symbolic-pcode

Apache License 2.0
0 stars 0 forks source link

Add AIGER module to sym crate #130

Closed mnemonikr closed 7 months ago

mnemonikr commented 7 months ago

The new AIGER module supports serialization of symbolic bits into AIGER binary format for constraint solving.