InferIt: a Constraint Solving Package Manager

1 · Valentin Knabel · Oct. 15, 2019, midnight
The initial idea behind InferIt was to create some mixture of a constraint solver and a dependency manager: you would just tell it what to install and it would gather as much information as possible to install it. The goal is to fulfill a requirement. InferIt would then try to resolve all variables by trying to fulfill several requirements. If a requirement has been met, the value can be propagated. The current example does not include side effects or file system lookups. Though this essentially...