Skip to content
Snippets Groups Projects
Select Git revision
  • devel/strategy-analysis
  • master default protected
  • devel/refactor-order
3 results
Hans-Joerg Schurr's avatar
Change name from veriT-schedgen to schedgen, mention PAAR publication.
Hans-Jörg authored 
This clarifies that the tool is solver independent.
veriT is now mentioned in the readme.
b8f983a4
History
Hans-Joerg Schurr's avatar b8f983a4
History
Name Last commit Last update