I don't see any solvers on NEOS that would handle logical constraints from AMPL (though the managers of NEOS could consider adding the free Gecode and JaCoP solvers described at
http://ampl.com/resources/logic-and-constraint-programming-extensions/). However you don't need to use a logical constraint solver to handle the constraints in your model of the form
<ineq1> and <ineq2>
Instead you can just define two separate AMPL inequality constraints.
Sent: Thursday, February 26, 2015 1:02 PM
To:
am...@googlegroups.com
Cc:
4...@ampl.com
Subject: Re: [AMPL 10092] Could someone try running my MTSP problem
I have changed my mod file slightly to now have several logical constraints. Are any of the NEOS solvers capable of logical constraints?