Re: Endless loop in resolving?

[Richard S. Hall]

On 5/6/09 2:11 PM, Alessandro Mottadelli wrote:

Just curious.... you are going to use a SAT solver?

That was not part of the plan currently.

-> richard