Skip to content
Snippets Groups Projects
Commit f8905e87 authored by imcovangent's avatar imcovangent
Browse files

Tested and improved the mark_as_constraint() function and its usage in the... 

Tested and improved the mark_as_constraint() function and its usage in the SSBJ script to enable double bounds.


Former-commit-id: cbb7b7e1ee48a5cd0f1739dd6f20bf1dd9ba1b63
parent 654a8b44
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 10 additions and 10 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment