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 details)

Uploaded Source

File details

Details for the file pyCryptoMS-0.1.1.tar.gz.

File metadata

  • Download URL: pyCryptoMS-0.1.1.tar.gz
  • Upload date:
  • Size: 170.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for pyCryptoMS-0.1.1.tar.gz
Algorithm Hash digest
SHA256 229d2bfb19e682567fc6d0d291965b56fb0cc2151536af234297cea667b8f83b
MD5 26a7a551bd746b4d1d16a7930d38eaac
BLAKE2b-256 9110c092edcf709ac7fcefa6eb2845b556ecb897d9399dad9f7b143c14e1998c

See more details on using hashes here.

Supported by

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