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

MathGroup Archive 2012

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

Search the Archive

Re: SatisfiabilityInstances[] how to put variables

  • To: mathgroup at smc.vnet.net
  • Subject: [mg128380] Re: SatisfiabilityInstances[] how to put variables
  • From: info at dvholten.de
  • Date: Thu, 11 Oct 2012 02:09:07 -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
  • References: <20121009044008.1114F68DF@smc.vnet.net> <k531d4$947$1@smc.vnet.net>

thanks - thats what i need - now i am satisfied...



  • Prev by Date: How to simplify hypergeometrics
  • Next by Date: Re: .NET/Link and freeware
  • Previous by thread: Re: SatisfiabilityInstances[] how to put variables
  • Next by thread: Re: how to put variables