SatisfiabilityInstances[] how to put variables

*To*: mathgroup at smc.vnet.net*Subject*: [mg128359] SatisfiabilityInstances[] how to put variables*From*: info at dvholten.de*Date*: Tue, 9 Oct 2012 00:40:08 -0400 (EDT)*Delivered-to*: l-mathgroup@mail-archive0.wolfram.com*Delivered-to*: l-mathgroup@wolfram.com*Delivered-to*: mathgroup-newout@smc.vnet.net*Delivered-to*: mathgroup-newsend@smc.vnet.net

folks, i am playing with the satisfiability-support in Mathematica. SatisfiabilityInstances[] gives me the settings of the variables, which return true for the whole formula. However, the input is a little uncomfortable: SatisfiabilityInstances[ formulaCNF, { v1, v2, v3, v4, v5 } ] needs to be called for a formula with the 5 variabled v1..v5. For a formula with 400 variables this is not practical. is there short way to extract a list of variables from the formula? is there a short way to build a list of variables names? (assuming the variables are named as a sequence like x1, x2...x77 or var1...var999). or is there a way to implictily tell SatisfiabilityInstances[] or one of his brothers what the variables are in the formula so that they dont have to be given one by one? thanks DvH

**Follow-Ups**:**Re: how to put variables***From:*Brentt <brenttnewman@gmail.com>

**Re: SatisfiabilityInstances[] how to put variables***From:*Bob Hanlon <hanlonr357@gmail.com>