Chenliang Zhou
Chenliang Zhou
About changing the graph to python code (`py_code()`), as commented in the class `CSPBuilder` inside `/aispace2/jupyter/csp/cspbuilder.py`: > [This function is] currently incomplete. We have not figured out how to handle...
How to get the constraint name? Note: if it is not connected to any variable, name = "Empty Constraint". If it is connected to any variable: **FIRST STEP**: You need...
Allow the constraints with the same type and same scope
after you finish, delete this line: ```python from operator import lt # should be deleted after fixing ``` in [this file](https://github.com/AISpace2/AISpace2/blob/master/aispace2/jupyter/csp/cspjsonbridge.py) if you have not already.
Some updates as discussed: - Use drop-down menu for constraint type selecting. - Use checkbox for `Show Negation` - Move `Reverse Order` button besides the line where it shows the...
Combine StringEquals to Equals
Add the shortcut of Enter key = `Submit` or other confirm action.
About the reverse order for binary Custom constraint: just reverse the two rows of the truth table, don't change other things because we do not know what constraint it is...
What if they have predefined constraint like `meetAt`? - Show the name as `meetAt(A, B)` instead of `Custom(A, B)`. - The type (e.g. in the drop-down menu) is still Custom....
1. Can you make the node smaller? e.g. delete the white space indicated in the red? Currently it seems too big... 2. Can you make the vertical strokes more dense...