Integers
Symbolica documentation for getting started, symbolic expressions, numerical evaluation, pattern matching, and APIs in Python and Rust.
Integers
Integers: SolveDomainThe integer solving domain, an alias for SolveDomain.Integers. Pass it as domain to Expression.solve. See Solving equations.