Look more closely at other similar projects for insight

mikedilger commented

2014-12-19 12:18:35 +13:00

(Migrated from github.com)

cargo/core/resolver/mod.rs
PHP Composer's libsolver
Yum's depsolve
Go's depresolve.go

cargo/core/resolver/mod.rs PHP Composer's libsolver Yum's depsolve Go's depresolve.go

Ygg01 commented

2016-02-02 03:13:16 +13:00

(Migrated from github.com)

You mentioned Cargo, but Cargo needs finer grained dependency like for example resolving version conflicts. E.g. crate a depends on crate b and c, and those two depend on shared 0.1.* and shared 0.1.3 respectively. See: https://github.com/rust-lang/cargo/issues/2064

Speaking of solver's there is an interesting insight in that thread - Yum uses a SAT solver. Maybe integrate z3 solver[1][2] into your project?

You mentioned Cargo, but Cargo needs finer grained dependency like for example resolving version conflicts. E.g. crate `a` depends on crate `b` and `c`, and those two depend on `shared 0.1.*` and `shared 0.1.3` respectively. See: https://github.com/rust-lang/cargo/issues/2064 Speaking of solver's there is an interesting insight in that thread - Yum uses a SAT solver. Maybe integrate z3 solver[[1]](https://github.com/Z3Prover/z3)[[2]](https://github.com/graydon/z3-rs) into your project?

mikedilger commented

2016-02-02 07:34:35 +13:00

(Migrated from github.com)

Thanks for the info. I haven't actively developed on solvent in a long time because it does what I need it to do. As open-source, I'm happy if anybody else wants to extend it. It's very simple, and maybe not the right starting point for a SAT solver. I could support DNF boolean expressions without too much trouble. Supporting semver is probably not in the cards.

Ygg01 commented

2016-02-02 07:37:08 +13:00

(Migrated from github.com)

My bad, I didn't notice the last dev date. I apologize for inconvenience.

Rows
Columns

Look more closely at other similar projects for insight #5