Commit Graph

1 Commits (c4373fa00a7981a3059f8d6ce2e61ff318d8500f)

Author SHA1 Message Date
Pierre-Antoine Rouby c4373fa00a solver: Add abstract solver class. 2023-03-09 14:24:17 +01:00