felix-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Richard S. Hall" <he...@ungoverned.org>
Subject Re: Endless loop in resolving?
Date Wed, 06 May 2009 19:04:36 GMT
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

Mime
View raw message