artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1 Commit 4 Branches 0 Tags
edea811ad8db86aaa6153c777987d59d3ee16390
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Artur Meski edea811ad8 Initial commit with contributors
2015-12-07 23:07:32 +00:00
contributors.txt
Initial commit with contributors
2015-12-07 23:07:32 +00:00
Description
ReactICS. Reaction Systems Verification Toolkit
formal-methodsmodel-checkingreaction-systems
MIT 7 MiB
Languages
Python 41.4%
Java 26.5%
C++ 24.9%
Shell 3.7%
HTML 2.4%
Other 1.1%