Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2012

[Date Index] [Thread Index] [Author Index]

Search the Archive

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



  • Prev by Date: Re: fast summing alternative?
  • Next by Date: Re: fast summing alternative?
  • Previous by thread: Re: color function
  • Next by thread: Re: SatisfiabilityInstances[] how to put variables