Metadata-Version: 1.1
Name: pyCryptoMS
Version: 0.1.1
Summary: SAT compiler version :2.9
Home-page: http://cadbiom.genouest.org/index.html
Author: Based on the work ofGeoffroy Andrieux, Michel Le Borgne, Mate Soos, Niklas Een, Niklas Sorensson.
Author-email: geoffroy.andrieux@irisa.fr
License: GPLv3
Description: **pyCryptoMS is a library for CADBIOM software.
        It uses [CryptoMiniSat](http://www.msoos.org/cryptominisat2/), an MIT-licensed SAT solver.
        
        CADBIOM is an open source modelling software. Based on Guarded transition semantic,
        it gives a formal framework to help the modelling of biological systems such as cell
        signaling network.**
        
        
        Snapshots of CADBIOM graphical interface and model represenation are presented in
        [Screenshots section](http://cadbiom.genouest.org/cw_screenshots.html).
        
        To get more informations about CADBIOM utilization, go to
        [Support section](http://cadbiom.genouest.org/cw_support.html).
        
        Finally, to know more about the project and people in charge,
        [About section](http://cadbiom.genouest.org/cw_about.html) will help you.
        
Platform: UNKNOWN
Classifier: Programming Language :: Python
Classifier: Development Status :: 5 - Production/Stable
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Natural Language :: French
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 2.7
