Commit Graph

2 Commits

Author SHA1 Message Date
Sandro Jäckel
000000c2cf
minizinc: fix build inputs, format 2023-06-01 21:12:25 +02:00
Alexandru Scvortov
44a331ac33 minizinc: enable gecode and cbc solvers by default
Other changes:
- switch derivation to finalAttrs pattern
2023-06-01 14:07:14 +01:00