Skip to content
GitLab
Explore
Sign in
schedgen
README.md
Find file
Blame
History
Permalink
Change name from veriT-schedgen to schedgen, mention PAAR publication.
· b8f983a4
Hans-Jörg
authored
Oct 18, 2022
This clarifies that the tool is solver independent. veriT is now mentioned in the readme.
b8f983a4
Hans-Jörg authored