kairos/luet
1
0
Fork 0
mirror of https://github.com/mudler/luet.git synced 2025-09-25 14:38:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
836 Commits 13 Branches 164 Tags
0e46e763d5d75b0c65c5890c03b369aaa25c95c3
Commit Graph

1 Commits

Author SHA1 Message Date
Ettore Di Giacinto
d941c9755b Relax best match constraint rule 
Or we could return unsat
 2019-12-18 19:24:44 +01:00