~tapaal-red/verifypn/rule-l

  • Committer: srba.jiri at gmail
  • Date: 2021-04-17 09:03:57 UTC
  • Revision ID: srba.jiri@gmail.com-20210417090357-q62n3fj4741j9imh
updated README file 
Filename Latest Rev Last Changed Committer Comment Size
..
CMakeLists.txt 213.1.32 4 years ago Peter G. Jensen adding cmake files for CTL 117 bytes Diff Download File
HeuristicSearch.cpp 230.1.3 3 years ago Peter G. Jensen shrinking datastructures more, switching to linked 724 bytes Diff Download File
RDFSSearch.cpp 213.1.31 4 years ago Peter G. Jensen adding rebuild structure 792 bytes Diff Download File
SearchStrategy.cpp 213.1.36 4 years ago Peter G. Jensen cleanup from clion 3.3 KB Diff Download File