CiME
A rewrite and constraint-solver tool.
[ Homepage ]
| Author: | Claude Marché. |
| Last modification date: | 09-Jan-2012 |
| Version: | 3 |
| Development status: | Stable |
| Kind: | Applications written in Caml :: Scientific software |
| License: | Open Source :: CeCILL |
| Topic: | Science :: Maths and Logic |
| Homepage: | http://cime.lri.fr/ |