Skip to content

Add some ORCIDs and literature

Dirk Beyer requested to merge orcid-literature into main
  • add ORCID and some literature for 2LS
  • add some literature for CPAchecker

Merge request reports