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 management
End of conversation
New conversation -
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.