Satisfiable a. : That may be satisfied.Example:Linux error message: Dependency is not Satisfiable: libnspr4-dev?Taxonomysatisfiability, interpretations, validity, theory, Propositional satisfiability, Well-formed formula, satisfiable, free encyclopedia, axioms, unsatisfiable, logic, Boolean satisfiability problem, first-order logic, History, Boolos, Jeffrey, axiomatic theory, propositional formulae.Defination from the web:Satisfiable) Jump to: navigation, search ... A formula is satisfiable with respect to a class of interpretations if it is possible to find an interpretation that makes the formula true[1] ...
The definition database by online English dictionary