artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1 Commit 4 Branches 0 Tags
27c43717faaec84287983d826fe4b27474a09f75
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Artur Meski 27c43717fa Initial commit
2017-11-18 20:28:09 +00:00
README.md
Initial commit
2017-11-18 20:28:09 +00:00

README.md

My project's README

Reference in New Issue View Git Blame Copy Permalink
Description
ReactICS. Reaction Systems Verification Toolkit
formal-methodsmodel-checkingreaction-systems
Readme MIT 7 MiB
Languages
Python 41.4%
Java 26.5%
C++ 24.9%
Shell 3.7%
HTML 2.4%
Other 1.1%