kairos/luet
1
0
Fork 0
mirror of https://github.com/mudler/luet.git synced 2025-09-19 01:10:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
381 Commits 13 Branches 164 Tags
6f6e2bf15f305a1327ab17b6a51c9d0227acdaf3
Commit Graph

3 Commits

Author SHA1 Message Date
Ettore Di Giacinto
6f6e2bf15f Pin to gophersat version 
Having the same var in the and block seems to make gophersat crash. Even if might be unoptimal,
we need this to tighten the conditions between packages.

Switch to gophersat fork until this fix is merged upstream:

https://github.com/crillab/gophersat/pull/17
 2020-02-11 09:06:57 +01:00
Ettore Di Giacinto
6d450d3af0 Add simple QLearning solver support 
Still experimental, it covers very small subset of action domains (just removal from target).

Added a pending test that currently fails
 2020-02-10 17:18:18 +01:00
Ettore Di Giacinto
f068bfdb9b Add PackageResolver to add heuristics on unsat solutions 2020-02-10 09:41:09 +01:00