stevia icon indicating copy to clipboard operation
stevia copied to clipboard
verified publisher icon Robbepop

Find or implement AIG library

Open Robbepop opened this issue 7 years ago • 0 comments

Find and depend on decent library implementation similar or equal to STP's ABC library for and-inverter-graph (AIG) computation. A pure Rust implementation is favoured over any other implementation to avoid having non-ecosystem dependencies.

Robbepop avatar May 11 '18 00:05 Robbepop