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

Exploiting constant outputs in SAT formulation #49

Closed
marco-biasion opened this issue May 17, 2024 · 1 comment · Fixed by #54
Closed

Exploiting constant outputs in SAT formulation #49

marco-biasion opened this issue May 17, 2024 · 1 comment · Fixed by #54
Assignees
@marco-biasion @Francesco-Cos
Labels
planning > in progress This issue is being actively developed type > enhancement New feature or request

Comments

@marco-biasion
Copy link
Member

No description provided.

@marco-biasion marco-biasion added type > enhancement New feature or request planning > in progress This issue is being actively developed labels May 17, 2024
@marco-biasion marco-biasion self-assigned this May 17, 2024
marco-biasion added a commit that referenced this issue May 27, 2024
@marco-biasion
#49: implemented constant rewriting, both solver script generation an…
5b9ec94 
…d model parsing
@marco-biasion marco-biasion linked a pull request May 27, 2024 that will close this issue
Draft: 49 exploiting constant outputs in sat formulation #54
Merged
Francesco-Cos added a commit that referenced this issue Jul 8, 2024
@Francesco-Cos
#49: Merged #56 into constant output branch
366a468
@Francesco-Cos Francesco-Cos self-assigned this Jul 10, 2024
Francesco-Cos added a commit that referenced this issue Jul 10, 2024
@Francesco-Cos
#49: Implemented constant logic from old template creator in refactor…
3e0eb30 
…ed template manager
marco-biasion added a commit that referenced this issue Jul 18, 2024
@marco-biasion
#49: minor refactoring
a806bca
marco-biasion added a commit that referenced this issue Jul 18, 2024
@marco-biasion
#49: minor refactoring
8ba8b1b
marco-biasion added a commit that referenced this issue Jul 18, 2024
@marco-biasion
#49: implemented constant rewriting for shared. minor fixes
7535b25
marco-biasion added a commit that referenced this issue Jul 23, 2024
@marco-biasion
#49: removed breaking debug code
66ac426
Francesco-Cos added a commit that referenced this issue Jul 26, 2024
@Francesco-Cos
#49: Fixed problem with labeling (passing wrong graph and overwriting…
05b91ad 
… them); Fixed definition of approximate output constraints in template manager (defined get_preds_approx)
Francesco-Cos added a commit that referenced this issue Oct 18, 2024
@Francesco-Cos
#49: Added a parameter to toggle constants version
13faecd
@marco-biasion
Copy link
Member Author

The constants are included in main through branch #94 (pull request #97)

marco-biasion added a commit that referenced this issue Dec 13, 2024
@marco-biasion
#49: implemented constant rewriting, both solver script generation an…
4b80a56 
…d model parsing
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@Francesco-Cos
#49: Merged #56 into constant output branch
8d087d9
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@Francesco-Cos
#49: Implemented constant logic from old template creator in refactor…
10690eb 
…ed template manager
marco-biasion added a commit that referenced this issue Dec 13, 2024
@marco-biasion
#49: minor refactoring
8672f0f
marco-biasion added a commit that referenced this issue Dec 13, 2024
@marco-biasion
#49: minor refactoring
3c7b47d
marco-biasion added a commit that referenced this issue Dec 13, 2024
@marco-biasion
#49: implemented constant rewriting for shared. minor fixes
1c7a443
marco-biasion added a commit that referenced this issue Dec 13, 2024
@marco-biasion
#49: removed breaking debug code
193de70
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@Francesco-Cos
#49: Fixed problem with labeling (passing wrong graph and overwriting…
1b68d3c 
… them); Fixed definition of approximate output constraints in template manager (defined get_preds_approx)
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@Francesco-Cos
#49: Added a parameter to toggle constants version
a73ff4e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@marco-biasion marco-biasion

@Francesco-Cos Francesco-Cos

Labels
planning > in progress This issue is being actively developed type > enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Draft: 49 exploiting constant outputs in sat formulation LP-RG/subxpat
2 participants
@marco-biasion @Francesco-Cos