Packages tagged symbolic-arithmetic
1 package has this tag.
[Merge tag] (trustees only)Related tags: bsd2 (1), library (1), solver (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| sop-satisfier | 5 | 0.0 | 0 | Check satisfiability of expressions on natural numbers | (bsd2, library, solver, symbolic-arithmetic) | 2025-06-07 | 0.3.4.5 | ChristiaanBaaij |