Services & ResourcesWolfram ForumsMathGroup Archive

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

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...

• References:
  • SatisfiabilityInstances[] how to put variables
    • From: info@dvholten.de