Skip to content
Snippets Groups Projects
Hans-Jörg's avatar
Hans-Jörg's avatar
pushed to branch master at veriT / schedgen
  • b8f983a4 · Change name from veriT-schedgen to schedgen, mention PAAR publication.
Hans-Jörg's avatar
pushed to branch master at veriT / schedgen
  • 7e18bdc1 · Add docmentation to README
Hans-Jörg's avatar
pushed to branch master at veriT / schedgen
Hans-Jörg's avatar
created project veriT / schedgen