
                            Cubicle

                     Copyright (C) 2011-2014
 
                Sylvain Conchon and Alain Mebsout
                     Universite Paris-Sud 11  


This file is distributed under the terms of the Apache Software
License version 2.0

