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

DnC solver #113

Merged
merged 4 commits into from
Feb 5, 2019
Merged

DnC solver #113

merged 4 commits into from
Feb 5, 2019

Conversation

wu-haoze
Copy link
Collaborator

@wu-haoze wu-haoze commented Feb 4, 2019 •
edited
Loading

Divide-and-conquer solving mode

  1. DnCSolver is the main class for the divide-and-conquer solving mode
  2. AcasNet is a parser class that uses native Marabou's AcasParser and PropertyParser classes
  3. DnCParallelSolver.py contains methods that execute the DnC solving in parallel
  4. NumTaskDecider.py contains methods that heuristically split the input region
  5. DnC.py contains the main() function that creates a DnCSolver object and use it to solve the query.
  6. Option.py contains methods to parse options for DnC.py

@wu-haoze wu-haoze requested a review from guykatzz February 4, 2019 23:49
@guykatzz guykatzz merged commit ecfd91d into NeuralNetworkVerification:master Feb 5, 2019
guykatzz added a commit that referenced this pull request Feb 5, 2019
@guykatzz
Merge latest changes into the artifact (#114)
dbb94cc 
* handle redundant rows in the input constraint matrix

* DnC solver (#113)

* DnC solver

* modify readme

* add some comment to the main method

* add comments
matanost pushed a commit that referenced this pull request Nov 2, 2021
@wu-haoze @guykatzz
DnC solver (#113)
085138e 
* DnC solver

* modify readme

* add some comment to the main method

* add comments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@guykatzz guykatzz Awaiting requested review from guykatzz

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@wu-haoze @guykatzz