Re: Review of gnio, round 1
- From: Alexander Larsson <alexl redhat com>
- To: Stefan Kost <ensonic hora-obscura de>
- Cc: Dan Winship <danw gnome org>, gtk-devel-list <gtk-devel-list gnome org>
- Subject: Re: Review of gnio, round 1
- Date: Fri, 15 May 2009 21:29:21 +0200
On Fri, 2009-05-15 at 20:59 +0300, Stefan Kost wrote:
> I just wanted to bring up SAT resolvers to just notice that they are called SAT
> solvers :) http://en.wikipedia.org/wiki/Boolean_satisfiability_problem
>
> If noone else has any likely candidate then from my side the name is yours :)
We could call it GRevolver. That sounds much cooler.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
