¡Mira la traducción de "satisfiable" en inglés.com!

Traducción

■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■

Ejemplos

Joel Baker explained that it means that the dependencies of a package must be satisfiable in main alone.	Joel Baker explicó que esto significa que las dependencias de un paquete deben ser satisfechas solamente dentro de main.
They do so in a way that ensures that dependencies of other packages in testing are always satisfiable.	Lo hacen de manera que las dependencias de los otros paquetes en testing se puedan satisfacer siempre.
A dependency might not be satisfiable due to version restrictions and due to the limitation that only candidate versions are considered.	Puede que nunca se satisfaga una dependencia por razones de restricciones de versiones y debido a la limitación de que se consideran solo las versiones candidatas.
Ideally, all dependencies should be satisfiable from the distribution used for the rebuild; if they are not, a recursive process starts, whereby the packages mentioned in the Build-Depends field must be backported before the target package can be.	Idealmente, podrá satisfacer todas las dependencias en la distribución que utilice para recompilar; de lo contrario, comienza un proceso recursivo en el que debemos retroadaptar los paquetes mencionados en el campo Build-Depends antes de poder finalizar con el paquete deseado.
All of its dependencies must either be satisfiable by packages already in testing, or be satisfiable by the group of packages which are going to be installed at the same time;	Todas sus dependencias deben poder ser satisfechas bien mediante paquetes ya en testing, bien mediante el grupo de paquetes que va a ser instalado al mismo tiempo;
Here he applied the Löwenheim-Skolem theorem to show what became known as Skolem's paradox: If the Zermelo 's axiomatic system for set theory is consistent then it must be satisfiable within a countable domain.	Aquí se aplica el teorema de Skolem Löwenheim para mostrar lo que se conoce como la paradoja de Skolem: Si el Zermelo 's sistema axiomático para la teoría de conjuntos es consistente, entonces debe ser satisfacible en un dominio contable.