groups / sci-mathematics
| Name | Description |
|---|---|
| genius | Advanced calculator including a mathematical programming language |
| lpsolve | A Mixed Integer Linear Programming (MILP) solver |
| python3-z3 | High-performance theorem prover |
| z3 | High-performance theorem prover |
| Name | Description |
|---|---|
| genius | Advanced calculator including a mathematical programming language |
| lpsolve | A Mixed Integer Linear Programming (MILP) solver |
| python3-z3 | High-performance theorem prover |
| z3 | High-performance theorem prover |