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.
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
Release history Release notifications | RSS feed
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)
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
Algorithm | Hash digest | |
---|---|---|
SHA256 |
229d2bfb19e682567fc6d0d291965b56fb0cc2151536af234297cea667b8f83b
|
|
MD5 |
26a7a551bd746b4d1d16a7930d38eaac
|
|
BLAKE2b-256 |
9110c092edcf709ac7fcefa6eb2845b556ecb897d9399dad9f7b143c14e1998c
|