SUBLIM-3d : Strict Upper Bound LIMit Analysis Code

SUBLIM-3d : Strict Upper Bound LIMit Analysis Code
Repository URL: 
http://mario.dec.fct.unl.pt/SUBLIM3d/