<!-- GENERATED by tools/package_docs.py. Edit this tool metadata or replace the file and remove this marker. -->

# symsolvers

`CAIMEOX/symbit/symsolvers` is the public import path for this package.

Equation solving, `solveset`, linear and nonlinear systems, ODE/PDE entry points, linear programming, and inequality reduction.

## When To Use This Package

- Import `CAIMEOX/symbit/symsolvers` directly when your code depends on this package's subsystem-specific types or algorithms.
- Prefer this package over the root facade when you want the focused API surface listed below rather than a convenience wrapper.

## Key Public Entry Points

- `allhints`
- `canonical_odes`
- `check_assumptions`
- `checkinfsol`
- `checkodesol`
- `checkpdesol`
- `checkpdesols`
- `checksol`


## Example

```mbt check
///|
test "symsolvers solves a linear equation" {
  let x = @symcore.Expr::Symbol("x")
  let solution = solveset(
    @symcore.add([x, @symcore.int(-1)]),
    symbol=Some(x),
    domain=@symsets.reals(),
  )
  inspect(solution, content="{1}")
}
```
## Related Packages

- `CAIMEOX/symbit/symcore`
- `CAIMEOX/symbit/sympolys`
- `CAIMEOX/symbit/symsets`