Bug 662758

Summary:	sys-apps/portage: solve dependencies with a generic satisfiability problem solver
Product:	Portage Development	Reporter:	Zac Medico <zmedico>
Component:	Core - Interface (emerge)	Assignee:	Portage team <dev-portage>
Status:	CONFIRMED ---
Severity:	normal	CC:	esigra
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	All
See Also:	https://bugs.gentoo.org/show_bug.cgi?id=469648
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	155723

Description Zac Medico gentoo-dev

2018-08-04 00:47:52 UTC

For example, there's an implementation based on satisfiability modulo theories (SMT) available here:


https://github.com/HyVar/gentoo_to_mspl