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

Look into making use of ABC's parallelism #54

Closed
atomb opened this issue Aug 5, 2015 · 1 comment
Closed

Look into making use of ABC's parallelism #54

atomb opened this issue Aug 5, 2015 · 1 comment
Labels
type: question Issues that are primarily asking questions

Comments

@atomb
Copy link
Contributor

atomb commented Aug 5, 2015

ABC has some support for doing proofs or SAT checks in parallel. How hard would it be to add support for this?
@atomb atomb added the type: question Issues that are primarily asking questions label Aug 5, 2015
@atomb atomb added this to the 1.0 milestone Jun 4, 2019
@atomb atomb removed this from the 1.0 milestone Sep 26, 2019
@atomb atomb mentioned this issue Oct 3, 2019
Closed
@atomb
Copy link
Contributor Author

atomb commented Jan 29, 2021

Now that ABC is an exernal process, this can be done independently from SAW.

@atomb atomb closed this as completed Jan 29, 2021
brianhuffman pushed a commit that referenced this issue Apr 26, 2021
@andreistefanescu
Add SMT Array primitives. (#54)
11e98f5 
* Add SMT Array primitives.

* Address comments.

* Add comment.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type: question Issues that are primarily asking questions
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@atomb