Operations with pseudo-Boolean functions
Arithmetic operations
The arithmetic operations +, -, *, /, ^ are defined for pseudo-Boolean functions. The result of an arithmetic operation is a pseudo-Boolean function.
The arithmetic operations +, -, *, /, ^ are defined for pseudo-Boolean functions. The result of an arithmetic operation is a pseudo-Boolean function.
Settings
This document was generated with Documenter.jl version 1.17.0 on Friday 19 June 2026. Using Julia version 1.10.11.