artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
313 Commits 4 Branches 0 Tags
b619f6119d45e093d23b65f77ee5fe138f4774fd
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Artur Meski b619f6119d Merge branch 'bdd'
2019-03-03 22:26:33 +00:00
reactics-bdd
Moved files to 'reactics-bdd'
2019-03-03 22:26:33 +00:00
reactics-smt
Moved files to 'reactics-smt'
2019-03-03 22:26:00 +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%