Started looking into proper dependency management for FuseSoC, and I likely need a full SAT solver. Someone muse have written one in Python
-
@OlofKindgren I have used pycosat before. There is also satispy: a more convenient API (expr, not cnf), but does not link against solver.
@OlofKindgren However, unless you have a good reason to "go low-level", I'd use an SMT solver instead. E.g. Z3 has a very nice Python API.
-
-
@oe1cxw I suspected you'd have some know-how here :) Don't think I need anything low-level. Just something to track dependency managementThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@oe1cxw And sat-solver seems best so far, even if though I probably need to rewrite parts, fix some bugs and then shoehorn it into FuseSoCThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.