4 Commits

Author	SHA1	Message	Date
Ettore Di Giacinto	1b90407475	Don't preclude action space	2020-02-11 09:21:25 +01:00
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