You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I would like to request the addition of support for Boolean logic with variables in SymEngine. While SymEngine already supports Boolean constants (True and False), it currently lacks support for Boolean logic involving symbolic variables, which would represent unknown or variable truth values.
Boolean variables are crucial for applications in fields like formal verification, logic synthesis, and constraint solving, where the values of variables can be either True or False. Adding support for Boolean variables and operations such as AND, OR, NOT, and more, would significantly enhance SymEngine's ability to handle problems in these domains.
The text was updated successfully, but these errors were encountered:
I agree. Symengine is open to contributions from anyone. If you'd like to get involved, submitting a pull request is a great way to get started. We're looking forward to seeing your ideas and working together to improve symengine.
I would like to request the addition of support for Boolean logic with variables in SymEngine. While SymEngine already supports Boolean constants (True and False), it currently lacks support for Boolean logic involving symbolic variables, which would represent unknown or variable truth values.
Boolean variables are crucial for applications in fields like formal verification, logic synthesis, and constraint solving, where the values of variables can be either True or False. Adding support for Boolean variables and operations such as AND, OR, NOT, and more, would significantly enhance SymEngine's ability to handle problems in these domains.
The text was updated successfully, but these errors were encountered: