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

Box solver forward_layer(L, ::AbstractZonotope) will error for Zonotopes. #145

Open
tomerarnon opened this issue Aug 3, 2020 · 0 comments
Open

Box solver forward_layer(L, ::AbstractZonotope) will error for Zonotopes. #145

tomerarnon opened this issue Aug 3, 2020 · 0 comments
Labels
pressing issue Something important depends on this

Comments

@tomerarnon
Copy link
Collaborator

As noted in #141, this is due to approximate_affine_map
@tomerarnon tomerarnon added the pressing issue Something important depends on this label Aug 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
pressing issue Something important depends on this
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tomerarnon