Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Find or implement AIG library #14

Open
Robbepop opened this issue May 11, 2018 · 0 comments
Open

Find or implement AIG library #14

Robbepop opened this issue May 11, 2018 · 0 comments
Labels
A-bitblaster Task operating on the stevia_bitblaster crate in isolation. B-enhancement An enhancement or new feature. D-over9000 You need to be super sayan in order to implement this.

Comments

@Robbepop
Copy link
Owner

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 Robbepop added B-enhancement An enhancement or new feature. A-bitblaster Task operating on the stevia_bitblaster crate in isolation. D-over9000 You need to be super sayan in order to implement this. labels Mar 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-bitblaster Task operating on the stevia_bitblaster crate in isolation. B-enhancement An enhancement or new feature. D-over9000 You need to be super sayan in order to implement this.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Robbepop