Group Detail

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