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

Support for complex constraints/requirements/resources/functionality #85

Open
finger563 opened this issue Apr 22, 2016 · 1 comment
Open

Support for complex constraints/requirements/resources/functionality #85

finger563 opened this issue Apr 22, 2016 · 1 comment
Labels
enhancement META
Milestone
Version 2.0.0

Comments

@finger563
Copy link
Member

Support for cumulative constraints; will also enable refactoring of deployments into system deployment goals with alternatives for functionality management
@finger563 finger563 added this to the Version 1.1.0 milestone Apr 22, 2016
@finger563
Copy link
Member Author

Meta is (easily) updated, need to port the z3 solver configuration code from python to javascript or just call the python code as a process on the server.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement META
Projects
None yet
Milestone
Version 2.0.0
Development

No branches or pull requests
1 participant
@finger563