Commit History

Author SHA1 Message Date
  Nils Adermann 6ef65e5319 Add a new RepositorySet class and restrict pool usage to the solver 7 years ago
  Michele Locati 097003b5bb Add test case for strict types declaration 9 years ago