Skip to main content

SAT compiler version :2.9

Project 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.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pyCryptoMS-0.1.1.tar.gz (170.8 kB view hashes)

Uploaded Source

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page