SPPoC
Symbolic Parameterized Polyhedral Calculator.
[ Homepage ]
| Author: | Xavier Redon and Pierre Boulet. |
| Last modification date: | 21-Jun-2004 |
| Version: | 1.2.1 |
| Development status: | Beta |
| Kind: | Libraries :: Native OCaml libraries |
| Topic: | Science :: Maths and Logic |
| Homepage: | http://www.lifl.fr/west/sppoc/ |