Skip to main content

SAT compiler version :2.9

Project description

**pyCryptoMS is a library for CADBIOM software.
It uses [CryptoMiniSat](, 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](

To get more informations about CADBIOM utilization, go to
[Support section](

Finally, to know more about the project and people in charge,
[About section]( 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.

Files for pyCryptoMS, version 0.1.1
Filename, size File type Python version Upload date Hashes
Filename, size pyCryptoMS-0.1.1.tar.gz (170.8 kB) File type Source Python version None Upload date Hashes View

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Huawei Huawei PSF Sponsor Microsoft Microsoft PSF Sponsor NVIDIA NVIDIA PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page