Viewing all changes in revision 231.1.15.
- Committer: srba.jiri at gmail
- Date: 2021-04-16 19:23:03 UTC
- mto: This revision was merged to the branch mainline in revision 232.
- Revision ID: srba.jiri@gmail.com-20210416192303-x0a6gijsynw7c95p
increased version number to 4.1.0 (new unfolding approach and added heuristic search for LTL)
- files modified:
- CMakeLists.txt
expand all
collapse all
added
removed
