artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
pyparser
reactics/README.md
Artur Meski d2347ae0bb README update
2019-03-03 22:41:27 +00:00

151 B
Raw Permalink Blame History

ReactICS

Reaction Systems Verification Toolkit

The toolkit consists of two separate modules implementing:

  • BDD-based methods
  • SMT-based methods
Reference in New Issue View Git Blame Copy Permalink